Allow disabling signal support in configure.

2005-11-11 10:12:49 +00:00
parent 136728e336
commit ac4ce06a21
6 changed files with 123 additions and 35 deletions
--- a/src/config.mk.in
+++ b/src/config.mk.in
@@ -25,6 +25,8 @@ GHCI = "@GHCI@"

 READLINE = @READLINE@

+INTERRUPT = @INTERRUPT@
+
 ENABLE_JAVA = @ENABLE_JAVA@

 JAVAC = "@JAVAC@"