index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
author | Erich Eckner <git@eckner.net> | 2018-01-10 13:55:40 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-01-10 13:55:40 +0100 |
commit | b51f71dd49271cbaa7b194aba3b0f37c38cf4f27 (patch) | |
tree | 0813c19a2745298d2f04abffdb6d92051798b68e /bin | |
parent | 39035783c16aa86e13bde311c00d9f2afcce52a5 (diff) |
-rwxr-xr-x | bin/return-assignment | 2 |
diff --git a/bin/return-assignment b/bin/return-assignment index b0ebeaf..1da8a98 100755 --- a/bin/return-assignment +++ b/bin/return-assignment @@ -123,7 +123,7 @@ if [ "$5" = 'ERROR' ]; then ' | \ tr ' ' '\n' | \ sed ' - s/^/-p ^/ + s/^/-p ^haskell-/ s/-[0-9.]\+$/\$/ ' | \ sort -u |