From e4ce3b95e5f8d6d1dd3f1a12441a23d0559b50e3 Mon Sep 17 00:00:00 2001
From: Jonathan Lange <jml@mumak.net>
Date: Tue, 8 Sep 2015 20:28:57 +0100
Subject: [PATCH] Fix update-nix-files.sh to run correctly

---
 scripts/update-nix-files.sh | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/scripts/update-nix-files.sh b/scripts/update-nix-files.sh
index 33ecea25..bba5a451 100755
--- a/scripts/update-nix-files.sh
+++ b/scripts/update-nix-files.sh
@@ -38,8 +38,10 @@ write-package-shell-nix () {
 
 update-nix-files () {
     for s in ${SOURCES[@]} ; do
-        cd "$s" && cabal2nix . > default.nix
+        pushd "$s" > /dev/null
+        cabal2nix . > default.nix
         write-package-shell-nix $s
+        popd > /dev/null
     done
 }