diff options
m--------- | gint | 0 | ||||
-rwxr-xr-x | scripts/bootstrap | 2 |
2 files changed, 1 insertions, 1 deletions
diff --git a/gint b/gint | |||
Subproject fd86bf7d44b0c970771830692ae7491447ebe8b | Subproject 170187a26c9788b17f2e2a66ca5b6116e7e7295 | ||
diff --git a/scripts/bootstrap b/scripts/bootstrap index 264d1a7..b1b990f 100755 --- a/scripts/bootstrap +++ b/scripts/bootstrap | |||
@@ -255,7 +255,7 @@ exec ${GUILE-guile} -l $0 -c "(apply $main (cons \"$0\" (cdr (command-line))))" | |||
255 | (display ocomm) | 255 | (display ocomm) |
256 | (display line) | 256 | (display line) |
257 | (if ccomm | 257 | (if ccomm |
258 | (displat ccomm)) | 258 | (display ccomm)) |
259 | (newline)) | 259 | (newline)) |
260 | autogenerated-file-header)) | 260 | autogenerated-file-header)) |
261 | 261 | ||