diff --git a/patches/mksh-R54.local.patch b/patches/mksh-R54.local.patch new file mode 100644 index 0000000..a179347 --- /dev/null +++ b/patches/mksh-R54.local.patch @@ -0,0 +1,5 @@ +--- mksh/Makefile.orig 1970-01-01 00:00:00.000000000 +0000 ++++ mksh/Makefile 2017-11-21 00:35:22.280000000 +0000 +@@ -0,0 +1,2 @@ ++all:: ++ sh Build.sh diff --git a/patches/mksh.local.patch b/patches/mksh.local.patch deleted file mode 100644 index a179347..0000000 --- a/patches/mksh.local.patch +++ /dev/null @@ -1,5 +0,0 @@ ---- mksh/Makefile.orig 1970-01-01 00:00:00.000000000 +0000 -+++ mksh/Makefile 2017-11-21 00:35:22.280000000 +0000 -@@ -0,0 +1,2 @@ -+all:: -+ sh Build.sh