Kevin Decherf 0ebf595c11 Merge pull request #3706 from shtrom/fix/gnu-make-bash ...

Makefile fixes for non GNU systems

2018-10-14 20:07:42 +02:00

..

dev.sh

Makefile fixes for non GNU systems

2018-08-18 18:50:18 +10:00

install.sh

Makefile fixes for non GNU systems

2018-08-18 18:50:18 +10:00

release.sh

Merge pull request #3706 from shtrom/fix/gnu-make-bash

2018-10-14 20:07:42 +02:00

require.sh

Makefile fixes for non GNU systems

2018-08-18 18:50:18 +10:00

update.sh

Makefile fixes for non GNU systems

2018-08-18 18:50:18 +10:00