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

Just the ampersand, without the redirection?

Browse Source
This commit is contained in:
Philippe Zwietering
2024-04-30 14:58:10 +02:00
parent 2eda317dd7
commit 9c83a5bb32
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 &]; then
echo "Error: ${package} is not installed." echo "Error: ${package} is not installed."
exit 1 exit 1
fi fi