Print useful branch/version if git fails

herbie-fp · May 19, 2016 · ecfce49 · ecfce49
1 parent 0b20f6f
commit ecfce49
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/src/formats/datafile.rkt b/src/formats/datafile.rkt
@@ -12,7 +12,7 @@
 (define (git-command #:default [default ""] gitcmd . args)
   (if (directory-exists? ".git")
       (let ([cmd (format "git ~a ~a" gitcmd (string-join args " "))])
-        (string-trim (with-output-to-string (λ () (system cmd)))))
+        (or (string-trim (with-output-to-string (λ () (system cmd)))) default))
       default))
 
 (struct table-row