diff options
author | Denis Kozadaev <denis@dilos.org> | 2019-08-25 21:27:14 +0300 |
---|---|---|
committer | TDE Gitea <gitea@mirror.git.trinitydesktop.org> | 2019-09-15 23:37:06 +0000 |
commit | 5efc93b08b19f9942cf616311b05cf1b18538dd2 (patch) | |
tree | 137a3386176b5ab17d46e92df4c1d0a3ff19d0a8 /dilos/dependencies/arts/debian/source/options | |
parent | 7b4b015eb070076de28e6a24ba795ad8a9311c20 (diff) | |
download | tde-packaging-5efc93b08b19f9942cf616311b05cf1b18538dd2.tar.gz tde-packaging-5efc93b08b19f9942cf616311b05cf1b18538dd2.zip |
DilOS: build arts
Signed-off-by: Denis Kozadaev <denis@dilos.org>
Diffstat (limited to 'dilos/dependencies/arts/debian/source/options')
-rw-r--r-- | dilos/dependencies/arts/debian/source/options | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/dilos/dependencies/arts/debian/source/options b/dilos/dependencies/arts/debian/source/options new file mode 100644 index 000000000..72f1f5450 --- /dev/null +++ b/dilos/dependencies/arts/debian/source/options @@ -0,0 +1,6 @@ +# Use xz instead of gzip +compression = "xz" +compression-level = 9 + +# Don't run differences +diff-ignore = .* |