diff options
Diffstat (limited to 'distrib')
| -rw-r--r-- | distrib/cross-port | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/distrib/cross-port b/distrib/cross-port index 690e60b16a..7c54604ae6 100644 --- a/distrib/cross-port +++ b/distrib/cross-port @@ -1,4 +1,4 @@ -#! /bin/bash +#!/usr/bin/env bash # This script can be used to generate some unregisterised .hc files # for bootstrapping GHC on a new/unsupported platform. It involves a |