diff options
Diffstat (limited to 'Biz/Ide')
| -rwxr-xr-x | Biz/Ide/bild | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/Biz/Ide/bild b/Biz/Ide/bild index 0dd4afb..1305e21 100755 --- a/Biz/Ide/bild +++ b/Biz/Ide/bild @@ -1,2 +1,2 @@ #!/usr/bin/env bash -timeout 5m runghc -i$BIZ_ROOT Biz.Bild $@ +runghc -i$BIZ_ROOT Biz.Bild $@ |