diff options
Diffstat (limited to 'benchmarks/fork')
| -rw-r--r-- | benchmarks/fork/source.mk | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/benchmarks/fork/source.mk b/benchmarks/fork/source.mk index 46bde60..9c82080 100644 --- a/benchmarks/fork/source.mk +++ b/benchmarks/fork/source.mk @@ -1 +1 @@ -DO != ./scripts/gen-benchmark -n fork +DO != ./scripts/gen-benchmark -n fork -p init |