Fix BIND syntax
authorAdam Chlipala <adamc@hcoop.net>
Sat, 9 Dec 2006 23:31:01 +0000 (23:31 +0000)
committerAdam Chlipala <adamc@hcoop.net>
Sat, 9 Dec 2006 23:31:01 +0000 (23:31 +0000)
Makefile
src/plugins/bind.sml

index f32d0b0..dbc2c88 100644 (file)
--- a/Makefile
+++ b/Makefile
@@ -85,7 +85,8 @@ bin/domtool-client: openssl/mlton/FFI/libssl.h.mlb \
 bin/domtool-slave: openssl/mlton/FFI/libssl.h.mlb \
                src/domtool-slave.mlb src/domtool.lex.sml \
                src/domtool.grm.sig src/domtool.grm.sml \
 bin/domtool-slave: openssl/mlton/FFI/libssl.h.mlb \
                src/domtool-slave.mlb src/domtool.lex.sml \
                src/domtool.grm.sig src/domtool.grm.sml \
-               $(COMMON_DEPS) src/*.sig src/*.sml
+               $(COMMON_DEPS) src/*.sig src/*.sml \
+               src/plugins/*.sig src/plugins/*.sml
        mlton -output bin/domtool-slave -link-opt -ldl src/domtool-slave.mlb
 
 install:
        mlton -output bin/domtool-slave -link-opt -ldl src/domtool-slave.mlb
 
 install:
index 8dc1a72..41bc1d8 100644 (file)
@@ -166,7 +166,7 @@ val () = Slave.registerFileHandler (fn fs =>
                                                       TextIO.output (outf, ns);
                                                       TextIO.output (outf, ".\thostmaster.");
                                                       TextIO.output (outf, #domain fs);
                                                       TextIO.output (outf, ns);
                                                       TextIO.output (outf, ".\thostmaster.");
                                                       TextIO.output (outf, #domain fs);
-                                                      TextIO.output (outf, ".\n( ");
+                                                      TextIO.output (outf, ". ( ");
                                                       TextIO.output (outf, Int.toString 123456789);
                                                       TextIO.output (outf, " ");
                                                       TextIO.output (outf, Int.toString rf);
                                                       TextIO.output (outf, Int.toString 123456789);
                                                       TextIO.output (outf, " ");
                                                       TextIO.output (outf, Int.toString rf);