dm_configure_ccomp.sh « picosat-965 « monniaux « test - compcert-kvx - Unnamed repository; edit this file 'description' to name the repository.

about summary refs log tree commit diff stats

path: root/test/monniaux/picosat-965/dm_configure_ccomp.sh

blob: 3be58a48d1849bf97b5cf58c5fcca9f10815ae00 (plain)

1 2	`# BUG CC=../../../ccomp CFLAGS="-fall -Wall -fno-unprototyped -O3 -DNALARM -DNZIP -DNGETRUSAGE" ./configure.sh`