.. |
build
|
CI: skip packages that have long build time
|
2019-05-02 22:00:19 +03:00 |
apt-compare-versions
|
Introduce a scripts/ folder
|
2016-01-14 22:45:50 -05:00 |
buildorder.py
|
buildorder.py: make subpackage pull its parent
|
2019-04-06 02:57:54 +03:00 |
check-built-packages.py
|
Add script to check built versions
|
2018-07-02 14:00:15 +02:00 |
check-pie.sh
|
Introduce a scripts/ folder
|
2016-01-14 22:45:50 -05:00 |
check-versions.sh
|
No backticks
|
2019-02-15 18:01:09 +02:00 |
config.guess
|
Update to latest config.{guess,sub}
|
2017-01-18 01:02:18 +01:00 |
config.sub
|
Update to latest config.{guess,sub}
|
2017-01-18 01:02:18 +01:00 |
Dockerfile
|
Update docker image to ubuntu 19.04 and llvm 8
|
2019-04-27 22:48:18 +02:00 |
generate-repology-metadata.sh
|
No backticks
|
2019-02-15 18:01:09 +02:00 |
get_hash_from_file.py
|
build-package.sh: handle Release.gpg and get deb path from Package
|
2019-02-16 18:55:15 +01:00 |
ldd
|
Add scripts/ldd utility script
|
2018-09-22 00:25:27 +02:00 |
lint-packages.py
|
Add TERMUX_PKG_REVISION check to lint-packages.py
|
2017-12-20 00:13:01 +01:00 |
list-packages.sh
|
No backticks
|
2019-02-15 18:01:09 +02:00 |
list-versions.sh
|
No backticks
|
2019-02-15 18:01:09 +02:00 |
package_uploader.sh
|
CI: switch to Cirrus
|
2019-05-01 23:45:46 +03:00 |
properties.sh
|
fix ndk versions
|
2019-02-24 20:39:35 +02:00 |
run-docker.ps1
|
Add PowerShell script to run Docker (#815)
|
2017-03-04 22:20:43 +01:00 |
run-docker.sh
|
scripts/run-docker.sh: use sudo for privileged operations (when changing uid/gid)
|
2019-02-25 02:12:51 +02:00 |
setup-android-sdk.sh
|
Update docker image to ubuntu 19.04 and llvm 8
|
2019-04-27 22:48:18 +02:00 |
setup-archlinux.sh
|
No backticks
|
2019-02-15 18:01:09 +02:00 |
setup-ubuntu.sh
|
Update docker image to ubuntu 19.04 and llvm 8
|
2019-04-27 22:48:18 +02:00 |
test-runner.sh
|
Shell script compliance
|
2019-02-15 18:01:09 +02:00 |
update-docker.sh
|
No backticks
|
2019-02-15 18:01:09 +02:00 |
Vagrantfile
|
Vagrantfile tweaks
|
2018-01-25 22:15:35 +01:00 |