on master help sign in
Fix update-nix-files.sh to run correctly
e4ce3b9Jonathan Lange
scripts/update-nix-files.sh+3−1
@@ -38,8 +38,10 @@ write-package-shell-nix () {
38
38
39update-nix-files () {
39update-nix-files () {
40 for s in ${SOURCES[@]} ; do
40 for s in ${SOURCES[@]} ; do
41+ pushd "$s" > /dev/null
41− cd "$s" && cabal2nix . > default.nix
42+ cabal2nix . > default.nix
42 write-package-shell-nix $s
43 write-package-shell-nix $s
44+ popd > /dev/null
43 done
45 done
44}
46}
45
47