]> git.eshelyaron.com Git - emacs.git/commitdiff
* admin/automerge: Die if changing directory fails.
authorStefan Kangas <stefan@marxist.se>
Mon, 8 Nov 2021 08:44:09 +0000 (09:44 +0100)
committerStefan Kangas <stefan@marxist.se>
Mon, 8 Nov 2021 08:55:22 +0000 (09:55 +0100)
admin/automerge

index 61570587d6bc857f992b2d7647ba196ccdd46383..d54f6cb4ac639f5ce0d26a1aece60a10c29c67b1 100755 (executable)
@@ -108,7 +108,8 @@ OPTIND=1
 
 
 [ "$nocd" ] || {
-    cd $PD                      # this should be the admin directory
+    # $PD should be the admin directory
+    cd $PD || die "Could not change directory to $PD"
     cd ../
 }