Commit d7360da2 authored by Andreas Klebinger's avatar Andreas Klebinger

banner: fix boot script again

parent f10d21d7
......@@ -40,5 +40,5 @@ set -x
# We could use perl/python for this. But it's not much faster than ghci and adds additional dependencies.
# We could use bash directly. But it's incredibly slow on windows.
# So instead we just use ghci which is fast enough for this purpose.
$HC --interactive -e -package-env - "readFile \"${src//\\/\\\\}/banner.stdout.template\" >>= \\s -> writeFile \"${output//\\/\\\\}/banner.stdout\" (concat . replicate ${MODE_ARGS} $ s)"
$HC --interactive -e -package-env - "readFile \"${src//\\/\\\\}/banner.stdin.template\" >>= \\s -> writeFile \"${output//\\/\\\\}/banner.stdin\" (concat . replicate ${MODE_ARGS} $ s)"
$HC --interactive -package-env - -e "readFile \"${src//\\/\\\\}/banner.stdout.template\" >>= \\s -> writeFile \"${output//\\/\\\\}/banner.stdout\" (concat . replicate ${MODE_ARGS} $ s)"
$HC --interactive -package-env - -e "readFile \"${src//\\/\\\\}/banner.stdin.template\" >>= \\s -> writeFile \"${output//\\/\\\\}/banner.stdin\" (concat . replicate ${MODE_ARGS} $ s)"
Markdown is supported
0%
or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment