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: 457d2856d5d4390a42c804e52d7d1becd5741259 (plain)

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