Kiel Christofferson c9a09a282c Only call shift if args are not empty. ... Some shells (like dash) will exit fatally when the shift builtin is called beyond the last option.		2014-03-02 06:22:19 +01:00
..
build	Only call shift if args are not empty.	2014-03-02 06:22:19 +01:00
build.sh	Updating copyright notices for 2014.	2014-02-08 17:47:24 +01:00