dm_configure_gcc.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_gcc.sh

blob: 4b0e66fe929afe9e405f39d1b1304c02eb0d83c8 (plain)

1	`CC=k1-mbr-gcc CFLAGS="-Wall -O3 -DNALARM -DNZIP -DNGETRUSAGE" ./configure.sh`