Jenkinsfile: disable rule parse profiling.

kframework · Sep 4, 2019 · 7165ccc · 7165ccc
1 parent 4ba88db
commit 7165ccc
Showing 1 changed file with 4 additions and 4 deletions.
diff --git a/Jenkinsfile b/Jenkinsfile
@@ -44,13 +44,13 @@ pipeline {
                 eval $(opam config env)
                 eval $(perl -I "~/perl5/lib/perl5" -Mlocal::lib)
                 export KOMPILE_FLAGS=-O2
-                make -j4 profile-rule-parsing --output-sync=line
+                make -j4 --output-sync=line
               '''
             } }
           }
-          post { success {
-            archiveArtifacts 'dist/timelogs.d/timelogs.csv'
-          } }
+          // post { success {
+          //   archiveArtifacts 'dist/timelogs.d/timelogs.csv'
+          // } }
         }
         stage ( 'Re-compile w/ timeout' ) { steps {
           timeout(time: 8, unit: 'SECONDS' ) {