diff options
| author | ruki <[email protected]> | 2022-12-23 23:02:35 +0800 |
|---|---|---|
| committer | ruki <[email protected]> | 2022-12-23 23:02:35 +0800 |
| commit | 400f759903a90563ab10da71ff60a8aeecc00aa7 (patch) | |
| tree | 547607f970ca9657ca7d2b4f1b54e6852182cabf /scripts/debian/rules | |
| parent | d46b367e720781995c699d7ecdd0a00cbf780266 (diff) | |
update scripts
Diffstat (limited to 'scripts/debian/rules')
| -rwxr-xr-x | scripts/debian/rules | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/scripts/debian/rules b/scripts/debian/rules index 6dd9e60cd..bebc95bb3 100755 --- a/scripts/debian/rules +++ b/scripts/debian/rules @@ -14,7 +14,8 @@ configure-stamp: build: build-stamp build-stamp: configure-stamp dh_testdir - make build + ./configure + make touch $@ clean: dh_testdir @@ -30,7 +31,7 @@ install: build mkdir -p $(prefix)/bin mkdir -p $(prefix)/share cp -r $(CURDIR)/xmake $(prefix)/share - cp -p $(CURDIR)/core/src/demo/demo.b $(prefix)/bin/xmake + cp -p $(CURDIR)/build/xmake $(prefix)/bin/xmake chmod 755 $(prefix)/bin/xmake cp -p $(CURDIR)/scripts/xrepo.sh $(prefix)/bin/xrepo chmod 755 $(prefix)/bin/xrepo |