diff --git a/src/post_modules/GTK/Makefile.in b/src/post_modules/GTK/Makefile.in index 592506664b6be8834d5ece5f089ca8a0781629ef..19da5cf408254f939527b8fd7f6b185cb2577f1b 100644 --- a/src/post_modules/GTK/Makefile.in +++ b/src/post_modules/GTK/Makefile.in @@ -64,3 +64,15 @@ wmml1: wmml0: echo Pike-GTK disabled. +# +# Many machines have problems compiling this file with full optimization. +# + +pgtk.o: pgtk.c + @echo "Compiling $< with less optimization" ;\ + if $(CC) $(NOOPT_CFLAGS) -O -c $< -o $@ ; then : ;\ + else \ + echo "WARNING: Compiler failure! Trying without optimization!" >&2;\ + echo "echo $(CC) $(NOOPT_CFLAGS) -c $< -o $@" >&2;\ + NO_ULIMIT=yes $(CC) $(NOOPT_CFLAGS) -c $< -o $@ ;\ + fi