Browse Source

rename gnumake to make

ruki 6 years ago
parent
commit
90080226e1
1 changed files with 1 additions and 2 deletions
  1. 1 2
      packages/m/make/xmake.lua

+ 1 - 2
packages/g/gnumake/xmake.lua → packages/m/make/xmake.lua

@@ -1,4 +1,4 @@
-package("gnumake")
+package("make")
 
 
     set_kind("binary")
     set_kind("binary")
     set_homepage("https://www.gnu.org/software/make/")
     set_homepage("https://www.gnu.org/software/make/")
@@ -11,7 +11,6 @@ package("gnumake")
 
 
     on_install("windows", function(package)
     on_install("windows", function(package)
         os.vrun("build_w32.bat")
         os.vrun("build_w32.bat")
-        os.cp("WinRel/gnumake.exe", package:installdir("bin"))
         os.cp("WinRel/gnumake.exe", path.join(package:installdir("bin"), "make.exe"))
         os.cp("WinRel/gnumake.exe", path.join(package:installdir("bin"), "make.exe"))
     end)
     end)