]> git.xonotic.org Git - xonotic/xonotic.git/commit
projects / xonotic / xonotic.git / commit
summary | shortlog | log | commit | commitdiff | tree
(parent: 521c084) | patch
Fix detection of time.
authorRudolf Polzer <divverent@xonotic.org>
Sat, 18 Jan 2014 13:48:47 +0000 (14:48 +0100)
committerRudolf Polzer <divverent@xonotic.org>
Sat, 18 Jan 2014 13:48:47 +0000 (14:48 +0100)
commit6dd20891217d00ac86f1d680f4e967b61bc596e4
tree1990cdb7e217f6517b7de1d1d85fe8a33f103290tree | snapshot
parent521c08406137d3ea1c92fcf401430306166c4b50commit | diff
Fix detection of time.

Apparently, in some shells, time can be only used as a reserved word,
but not as a program/builtin.
misc/tools/all/config.subr diff | blob | history