drrr backslash

oppiet30 · Apr 18, 2021 · 19a08c3 · 19a08c3
1 parent ec77e83
commit 19a08c3
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -12,7 +12,7 @@ pipeline {
             steps {
                 sh 'mkdir -p build'
                 sh 'set -e \
-                    && apt-get update
+                    && apt-get update \
                     && apt-get install \
                         libgmp-dev \
                     && rm -rf /var/lib/apt/lists/