Skip to content
Snippets Groups Projects
Commit b1cfea47 authored by Lars Beckers's avatar Lars Beckers
Browse files

CI: add stretch main sources to list

parent bef90dc8
No related branches found
No related tags found
No related merge requests found
Pipeline #869 failed
......@@ -12,6 +12,7 @@ variables:
QUILT_PATCHES: "debian/patches"
before_script:
- echo "deb-src http://ftp.halifax.rwth-aachen.de/debian/ stretch main" > /etc/apt/sources.list.d/stretch_src.list
- apt-get update
- apt-get install -y apt-utils
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Please register or to comment