mirror of https://github.com/omar-polo/gmid.git
improve make error message if etags is not found
the ‘|| true’ idiom leads to better make error. Now the ‘-’ becomes a bit redundant tho…
This commit is contained in:
parent
09a1b97896
commit
10fed44c79