path: root/test/c/cscript2.sh

#/bin/bash

/home/gourdinl/Work/VERIMAG/Compcert_riscv_third/ccomp -static -fprepass= revlist -U__GNUC__ -stdlib ../../runtime -dclight -dasm   -c qsort.c > log 2>&1

cat log | ack "instead of Some"