index : builder | |
Archlinux32 build system | gitolite user |
summaryrefslogtreecommitdiff |
author | Erich Eckner <git@eckner.net> | 2018-03-23 15:11:54 +0100 |
---|---|---|
committer | Erich Eckner <git@eckner.net> | 2018-03-23 15:11:54 +0100 |
commit | d90db40944ab8818c6207872fb8ae81fa2488056 (patch) | |
tree | 098364de9a3172ee6a5ae30511239887e2437bc2 /bin | |
parent | 9d7f5d9f22c633381612bb2a1fbc036e54b40254 (diff) |
-rwxr-xr-x | bin/return-assignment | 2 |
diff --git a/bin/return-assignment b/bin/return-assignment index a2669f6..89a1f85 100755 --- a/bin/return-assignment +++ b/bin/return-assignment @@ -176,7 +176,7 @@ if [ "$5" = 'ERROR' ]; then ' | \ tr ' ' '\n' | \ sed ' - s/^/-p ^\\(haskell-\\)\\?/ + s/^/-p ^(haskell-)?/ s/-[0-9.]\+$/\$/ ' | \ sort -u |