Changeset 23224 for titan/plugins
- Timestamp:
- 09/03/13 08:27:00 (11 years ago)
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
titan/plugins/makesh4.sh
r23187 r23224 20 20 21 21 if [ $GROUP == "dev" ]; then 22 devflag="-finstrument-functions - fexceptions -rdynamic"22 devflag="-finstrument-functions -rdynamic -DBETA" 23 23 else 24 24 devflag=""
Note: See TracChangeset
for help on using the changeset viewer.