diff options
| author | José Fonseca <jfonseca@vmware.com> | 2011-07-11 20:44:43 +0100 |
|---|---|---|
| committer | José Fonseca <jfonseca@vmware.com> | 2011-07-11 20:44:43 +0100 |
| commit | 5417f377560f2ccdc018507832978679fb93765c (patch) | |
| tree | a7f38ba428c5974dc922c9e1b94817504c076ea8 /configs/linux-profile | |
| parent | 4bb4cbf829413ce37cb6dcb31c14d1548b6fa765 (diff) | |
| download | glut-5417f377560f2ccdc018507832978679fb93765c.tar.gz | |
Add enough of the autoconf/gmake build infrastructure to build glut.
Diffstat (limited to 'configs/linux-profile')
| -rw-r--r-- | configs/linux-profile | 8 |
1 files changed, 8 insertions, 0 deletions
diff --git a/configs/linux-profile b/configs/linux-profile new file mode 100644 index 0000000..e3895dd --- /dev/null +++ b/configs/linux-profile @@ -0,0 +1,8 @@ +# Configuration for profiling on Linux with gprof + +include $(TOP)/configs/linux-static + +CONFIG_NAME = linux-profile + +OPT_FLAGS = -pg -g -O2 +DEFINES += -DNDEBUG |