flip/real_analysis
1
0
Fork 0
Code Issues 3 Pull Requests Packages Projects 1 Releases Wiki Activity

Ampersand as last parameter might fix the redirect?

Browse Source
This commit is contained in:
Philippe Zwietering
2024-04-30 14:55:43 +02:00
parent f7000b4b84
commit 2eda317dd7
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files

2
scripts/build.sh
View File

@@ -4,7 +4,7 @@
necessary_packages=("pdflatex") necessary_packages=("pdflatex")
for package in "${necessary_packages}"; do for package in "${necessary_packages}"; do
if ! [dpkg -l "${package}" > /dev/null 2>&1]; then if ! [dpkg -l "${package}" > /dev/null 2>&1 &]; then
echo "Error: ${package} is not installed." echo "Error: ${package} is not installed."
exit 1 exit 1
fi fi