diff options
author | Pellegrino Prevete | 2021-11-01 06:19:21 +0100 |
---|---|---|
committer | Pellegrino Prevete | 2021-11-01 06:19:21 +0100 |
commit | 6069bdb2bdd927773846d1dee296aa02f582d0b1 (patch) | |
tree | d1039dafcd03968c839a0d162e1b7b47407ba131 | |
parent | 9b133fd6d0fd1f91b73b4616cc450c0e5460f24a (diff) | |
download | aur-6069bdb2bdd927773846d1dee296aa02f582d0b1.tar.gz |
Disable strip
-rw-r--r-- | .SRCINFO | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -1,7 +1,7 @@ pkgbase = pops-usb-setup pkgdesc = Setup a USB drive for the POPS emulator pkgver = 0.0.1 - pkgrel = 1 + pkgrel = 2 url = https://gitlab.com/tallero/pops-usb-setup arch = any license = AGPL3 @@ -9,6 +9,7 @@ pkgbase = pops-usb-setup makedepends = python-setuptools makedepends = wget depends = python + options = !strip source = git+https://gitlab.com/tallero/pops-usb-setup md5sums = SKIP |