#
-# selector is a simple shell command for selection of strings with a
-# dynamic pattern-matching.
+# selector is a simple command line utility for selection of strings
+# with a dynamic pattern-matching.
#
# Copyright (c) 2009 Francois Fleuret
-# Written by Francois Fleuret <francois.fleuret@idiap.ch>
+# Written by Francois Fleuret <francois@fleuret.org>
#
# This file is part of selector.
#
REVISION_NUMBER=$(shell cat REVISION_NUMBER)
ifeq ($(DEBUG),yes)
- OPTIMIZE_FLAG = -ggdb3 -DDEBUG
+ OPTIMIZE_FLAG = -ggdb3 -DDEBUG -fno-omit-frame-pointer
else
OPTIMIZE_FLAG = -ggdb3 -O3
endif