From 681e04b0605d2e526f6adc2f99c2ff8fc9e842a7 Mon Sep 17 00:00:00 2001 From: Olivier Mehani Date: Sat, 18 Aug 2018 15:39:37 +1000 Subject: Makefile fixes for non GNU systems * Move `Makefile` to `GNUmakefile`, which GNU `make` picks first * Add `Makefile` so other `make`s forward to `gmake` * Set the `SHELL` variable and let `make` handle the shell Signed-off-by: Olivier Mehani --- scripts/dev.sh | 0 scripts/install.sh | 0 scripts/release.sh | 0 scripts/require.sh | 0 scripts/update.sh | 0 5 files changed, 0 insertions(+), 0 deletions(-) mode change 100644 => 100755 scripts/dev.sh mode change 100644 => 100755 scripts/install.sh mode change 100644 => 100755 scripts/release.sh mode change 100644 => 100755 scripts/require.sh mode change 100644 => 100755 scripts/update.sh (limited to 'scripts') diff --git a/scripts/dev.sh b/scripts/dev.sh old mode 100644 new mode 100755 diff --git a/scripts/install.sh b/scripts/install.sh old mode 100644 new mode 100755 diff --git a/scripts/release.sh b/scripts/release.sh old mode 100644 new mode 100755 diff --git a/scripts/require.sh b/scripts/require.sh old mode 100644 new mode 100755 diff --git a/scripts/update.sh b/scripts/update.sh old mode 100644 new mode 100755 -- cgit v1.2.3