Branch: refs/heads/master
Home: https://github.com/Warzone2100/warzone2100
Commit: d9ea4bf11ea90d11028e144b195e842e2f1757e5
https://github.com/Warzone2100/warzone2100/commit/d9ea4bf11ea90d11028e144b195e842e2f1757e5
Author: past-due <30942300+past-...@users.noreply.github.com>
Date: 2018-02-15 (Thu, 15 Feb 2018)
Changed paths:
M build_tools/autorevision
Log Message:
-----------
Fix version tag detection when grep -E doesn't support "\d" syntax
BSD grep's -E mode includes "\d". But GNU grep's -E mode does not. Switch to
[[:digit:]] so it works properly everywhere.
------------------------------------------------------------------------------
Check out the vibrant tech community on one of the world's most
engaging tech sites, Slashdot.org! http://sdm.link/slashdot
_______________________________________________
Warzone2100-commits mailing list
Warzone2100-commits@lists.sourceforge.net
https://lists.sourceforge.net/lists/listinfo/warzone2100-commits