summaryrefslogtreecommitdiff
path: root/.gitignore
diff options
context:
space:
mode:
authorAdrian Thurston <thurston@complang.org>2014-11-21 15:14:06 -0500
committerAdrian Thurston <thurston@complang.org>2014-11-21 15:14:22 -0500
commit07e700e57767a14870e50ff1953812727c449c73 (patch)
treed55b826459fd55bbb6977cfd70e64996c3af8497 /.gitignore
parent309278d16a7bac643e280ae9fa7b36878d95a23b (diff)
downloadcolm-07e700e57767a14870e50ff1953812727c449c73.tar.gz
runtests: respond to signals by exiting
Diffstat (limited to '.gitignore')
-rw-r--r--.gitignore1
1 files changed, 1 insertions, 0 deletions
diff --git a/.gitignore b/.gitignore
index 4662f3f1..8cfd4956 100644
--- a/.gitignore
+++ b/.gitignore
@@ -15,3 +15,4 @@
/compile
/test-driver
/build
+/m4