Commit Graph

2 Commits

Author SHA1 Message Date
Rüdiger Sonderfeld
570555b72f Change bash shebang to use /usr/bin/env.
That makes those scripts usable on systems where GNU bash is not in
/bin/.  E.g., NixOS.
2014-08-18 01:09:16 +02:00
Takafumi Arakaki
dfaa556ca6 Add test/run-ert.sh 2012-11-25 02:01:21 +01:00