diff options
| author | Ian Lynagh <igloo@earth.li> | 2007-06-19 19:28:20 +0000 |
|---|---|---|
| committer | Ian Lynagh <igloo@earth.li> | 2007-06-19 19:28:20 +0000 |
| commit | 8434073f08470b4447436e865e25f5fe31852c23 (patch) | |
| tree | d1adaac294b8829a13dd4a4155a403343973bf4c /boot | |
| parent | f0be46023a60a192954ddbfb6b2e0e72d371c55f (diff) | |
| download | haskell-8434073f08470b4447436e865e25f5fe31852c23.tar.gz | |
Add a push-all script
Diffstat (limited to 'boot')
| -rw-r--r-- | boot | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -12,6 +12,7 @@ do fi done +chmod +x push-all chmod +x rts/gmp/configure echo "Booting ." |