diff options
Diffstat (limited to 'utils')
| -rw-r--r-- | utils/count_lines/count_lines.lprl | 2 | ||||
| -rw-r--r-- | utils/runghc/runghc.hs | 2 |
2 files changed, 2 insertions, 2 deletions
diff --git a/utils/count_lines/count_lines.lprl b/utils/count_lines/count_lines.lprl index 72b441384e..49b11ee0c7 100644 --- a/utils/count_lines/count_lines.lprl +++ b/utils/count_lines/count_lines.lprl @@ -1,4 +1,4 @@ -#! /usr/bin/perl +#!/usr/bin/env perl \begin{code} diff --git a/utils/runghc/runghc.hs b/utils/runghc/runghc.hs index e94c5503c0..42ddb83f25 100644 --- a/utils/runghc/runghc.hs +++ b/utils/runghc/runghc.hs @@ -7,7 +7,7 @@ -- runghc program, for invoking from a #! line in a script. For example: -- -- script.lhs: --- #!/usr/bin/env /usr/bin/runghc +-- #!/usr/bin/env runghc -- > main = putStrLn "hello!" -- -- runghc accepts one flag: |