diff options
| author | rpj <rpj> | 2004-11-03 01:08:41 +0000 |
|---|---|---|
| committer | rpj <rpj> | 2004-11-03 01:08:41 +0000 |
| commit | ec8290acdaea21b16d98f1ef5d4ae8a28ab2109a (patch) | |
| tree | 0bd3750ec1cc12594b6cfe69473e393da6ec101b /GNUmakefile | |
| parent | cccaf0c2c82e78a72d69a4a50c872f308bed2f65 (diff) | |
Mutex, semaphore, thread ID, test suite changes - see ChangeLogs
Diffstat (limited to 'GNUmakefile')
| -rw-r--r-- | GNUmakefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/GNUmakefile b/GNUmakefile index f479778..af70a56 100644 --- a/GNUmakefile +++ b/GNUmakefile @@ -46,8 +46,8 @@ CP = cp -f AR = ar -#OPT = -g -#OPT = -O3 -DTEST_ICE +#OPT = -g -O0 +#OPT = -O3 OPT = -O3 -finline-functions XOPT = |