diff options
Diffstat (limited to 'research/experiments/035-push/push.py')
| -rwxr-xr-x | research/experiments/035-push/push.py | 1 |
1 files changed, 1 insertions, 0 deletions
diff --git a/research/experiments/035-push/push.py b/research/experiments/035-push/push.py index 28334dd..f854bb3 100755 --- a/research/experiments/035-push/push.py +++ b/research/experiments/035-push/push.py @@ -40,6 +40,7 @@ def main(): runs = sys.argv[5:] work = Path(tempfile.mkdtemp(prefix='pure-035-', dir='/dev/shm')) try: + subprocess.run(['cc', '-O2', '-Wall', '-Wextra', '-Werror', '-o', str(WATCH), str(WATCH) + '.c'], check=True) subprocess.run([str(aup), 'build', str(HERE / 'counter.aup'), '-o', str(work / 'counter.pmod')], check=True) for run in runs: clients, rate, way = run.split(':', 2) |