CSY/reowolf Files · examples/old/5_recovery/make.sh · Centrum Wiskunde & Informatica (CWI)

Files @ a6f53f74e58c

Branch filter:

a6f53f74e58c 144 B text/x-sh Show Source Show as Raw Download as Raw

Christopher Esterhuyse

fixed bug: failed to restore !sync_batches.is_empty() invariant when the native is immediately inconsistent

33da6b69e9a2
33da6b69e9a2
33da6b69e9a2
33da6b69e9a2
33da6b69e9a2

#!/bin/sh

LIB_PATH="../"
gcc -L $LIB_PATH -lreowolf_rs -Wl,-R$LIB_PATH amy.c -o amy
gcc -L $LIB_PATH -lreowolf_rs -Wl,-R$LIB_PATH bob.c -o bob