- Timestamp:
- Jul 17, 2013, 3:45:29 PM (11 years ago)
- Branches:
- (u'spielwiese', 'fe61d9c35bf7c61f2b6cbf1b56e25e2f08d536cc')
- Children:
- 4ff18bd68e92532101aecee0092071f83f759d95
- Parents:
- 13a03bf0c76a48e756ec7fbd4e7c57a45432e301
- git-author:
- Martin Lee <martinlee84@web.de>2013-07-17 15:45:29+02:00
- git-committer:
- Martin Lee <martinlee84@web.de>2013-07-22 18:10:47+02:00
- File:
-
- 1 edited
Legend:
- Unmodified
- Added
- Removed
-
m4/flint-check.m4
r13a03b r4979482 30 30 elif test "$withval" != no ; then 31 31 FLINT_HOME_PATH="$withval" 32 fi], )33 #[FLINT_HOME_PATH="${DEFAULT_CHECKING_PATH}"])32 fi], 33 [FLINT_HOME_PATH="${DEFAULT_CHECKING_PATH}"]) 34 34 35 35 min_flint_version=ifelse([$1], ,2.3,$1)
Note: See TracChangeset
for help on using the changeset viewer.