scripts/build.sh - Always use our preferred PHP env

totten · Feb 27, 2024 · dbbd273 · dbbd273
1 parent 3ddf99e
commit dbbd273
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/scripts/build.sh b/scripts/build.sh
@@ -19,6 +19,6 @@ if [ ! -d "$TMPDIR" ]; then mkdir "$TMPDIR"  ; fi
 
 pushd "$PRJDIR" >> /dev/null
   composer install --prefer-dist --no-progress --no-suggest --no-dev
-  box compile -v
+  nix-shell --run 'box compile -v'
   php scripts/check-phar.php "$OUTFILE"
 popd >> /dev/null