diff options
| author | Gregor Kleen <gkleen@yggdrasil.li> | 2015-12-08 01:51:45 +0000 |
|---|---|---|
| committer | Gregor Kleen <gkleen@yggdrasil.li> | 2015-12-08 01:51:45 +0000 |
| commit | 790b6131100d121a5d0e952dd498356cf4032523 (patch) | |
| tree | ed123143ba0ddf71739a4437cc6eb6ddb3755c6f /ws2015/ffp | |
| parent | cb731e54fec327c0ef793f7280858d4bb1c32d90 (diff) | |
| download | uni-790b6131100d121a5d0e952dd498356cf4032523.tar uni-790b6131100d121a5d0e952dd498356cf4032523.tar.gz uni-790b6131100d121a5d0e952dd498356cf4032523.tar.bz2 uni-790b6131100d121a5d0e952dd498356cf4032523.tar.xz uni-790b6131100d121a5d0e952dd498356cf4032523.zip | |
FFP - 08, build
Diffstat (limited to 'ws2015/ffp')
| -rw-r--r-- | ws2015/ffp/blaetter/08/FFP_U08_Parallel.gup | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/ws2015/ffp/blaetter/08/FFP_U08_Parallel.gup b/ws2015/ffp/blaetter/08/FFP_U08_Parallel.gup new file mode 100644 index 0000000..9a844ae --- /dev/null +++ b/ws2015/ffp/blaetter/08/FFP_U08_Parallel.gup | |||
| @@ -0,0 +1,3 @@ | |||
| 1 | #!/usr/bin/env zsh | ||
| 2 | |||
| 3 | ghc -threaded -with-rtsopts="-N4 -s" FFP_U08_Parallel 1>&2 \ No newline at end of file | ||