diff options
Diffstat (limited to 'examples/cexample.sh')
-rwxr-xr-x | examples/cexample.sh | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/examples/cexample.sh b/examples/cexample.sh index eff04e5..89861ab 100755 --- a/examples/cexample.sh +++ b/examples/cexample.sh @@ -1,3 +1,3 @@ #!/bin/bash -gcc-5 -fplugin=../astdumper.so -fplugin-arg-astdumper-command=detectnullpointers cexample.c +gcc-5 -fplugin=../paranucker.so -fplugin-arg-paranucker-command=detectnullpointers cexample.c |