This commit is contained in:
Jan Nieuwenhuizen 2019-11-17 10:07:00 +01:00
parent bb1aff9991
commit 633bd3a1b6
No known key found for this signature in database
GPG Key ID: F3C1A0D9C1D65273
1 changed files with 1 additions and 3 deletions

View File

@ -99,9 +99,7 @@ General help using GNU software: <http://gnu.org/gethelp/>
(port (if (equal? file "-") 0
(open-input-file file))))
(set! %argv files)
(set-current-input-port port)
(display "DUN\n")
))
(set-current-input-port port)))
((and (null? files) tty?)
(mes-use-module (mes repl))