diff options
| author | ruki <[email protected]> | 2019-04-05 00:35:25 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2019-04-04 21:32:34 +0800 |
| commit | e491f0e259f88dee2c55e042f56274d7dada02fc (patch) | |
| tree | 40228e40383ef24ba7734ab363c5550fd50e1938 | |
| parent | 8f0ab36e7405ae0f78d49d181a8cfd23a28d1da2 (diff) | |
rename gnumake to make
| -rw-r--r-- | xmake/repository/packages/m/make/xmake.lua (renamed from xmake/repository/packages/g/gnumake/xmake.lua) | 3 |
1 files changed, 1 insertions, 2 deletions
diff --git a/xmake/repository/packages/g/gnumake/xmake.lua b/xmake/repository/packages/m/make/xmake.lua index 81544c1c8..fd562da62 100644 --- a/xmake/repository/packages/g/gnumake/xmake.lua +++ b/xmake/repository/packages/m/make/xmake.lua @@ -1,4 +1,4 @@ -package("gnumake") +package("make") set_kind("binary") set_homepage("https://www.gnu.org/software/make/") @@ -11,7 +11,6 @@ package("gnumake") on_install("windows", function(package) 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")) end) |