diff options
author | Marius Linge <atrius@pannekake.org> | 2019-04-10 20:21:06 +0200 |
---|---|---|
committer | Marius Linge <atrius@pannekake.org> | 2019-04-10 20:21:06 +0200 |
commit | fc04827f20be7a922960095a6a88cd4e14548f1f (patch) | |
tree | ea0ad7448d4e26f5be078d8197d532d3b84c1b6e | |
parent | 01f15d72598515db8561654f01636d1b09875892 (diff) |
Merge patchlists into one directory
-rw-r--r-- | planning/planning.cpp | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/planning/planning.cpp b/planning/planning.cpp index 51dc6f3..f93f43e 100644 --- a/planning/planning.cpp +++ b/planning/planning.cpp @@ -14,7 +14,7 @@ // // // Full one-liner: -//distros='-5 8 16 -23 26 -32 30 36 -39'; rm planning ; g++ -std=gnu++11 -Wall -g -O3 -fopenmp -DOUTPUT_FILES=1 -o planning planning.cpp && ./planning $distros ; sort -k 2,2 -k 1,1V patchlist.txt > patchlist.txt.distrosort ; cp patchlist.txt* switches.txt ../ +//distros='-5 8 16 -23 26 -32 30 36 -39'; rm planning ; g++ -std=gnu++11 -Wall -g -O3 -fopenmp -DOUTPUT_FILES=1 -o planning planning.cpp && ./planning $distros ; sort -k 2,2 -k 1,1V patchlist.txt > patchlist.txt.distrosort #include <stdio.h> #include <math.h> |