Parent Directory | Revision Log | Patch
revision 1.231 by spiralvoice, Sat Nov 5 16:21:25 2005 UTC | revision 1.232 by spiralvoice, Sat Nov 12 11:24:00 2005 UTC | |
---|---|---|
# | Line 540 fi | Line 540 fi |
540 | ||
541 | if test "$PROFILE" = "yes"; then | if test "$PROFILE" = "yes"; then |
542 | OCAMLOPT="$OCAMLOPT -p" | OCAMLOPT="$OCAMLOPT -p" |
543 | CFLAGS="$CFLAGS -pg" | |
544 | fi | fi |
545 | if test "$FORCE_MINGW" = "yes"; then | if test "$FORCE_MINGW" = "yes"; then |
546 | OCAMLC="$OCAMLC -ccopt -mno-cygwin" | OCAMLC="$OCAMLC -ccopt -mno-cygwin" |
|
savannah-hackers-public@gnu.org | ViewVC Help |
Powered by ViewVC 1.1.26 |