build: when extracting the k/kore-cell fails print the input file

kframework · Jun 28, 2019 · 5c8494a · 5c8494a
1 parent 5e3f0d4
commit 5c8494a
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/build b/build
@@ -19,12 +19,12 @@ proj = KProject()
 
 kore_from_config = proj.rule( 'kore-from-config'
                             , description = 'kore-from-config: $in'
-                            , command = 'lib/kore-from-config "$in" "$out"'
+                            , command = 'lib/kore-from-config "$in" "$out" || (cat "$in" ; false)'
                             , ext = 'kore'
                             )
 k_from_config = proj.rule( 'k-from-config'
                          , description = 'k-from-config'
-                         , command = 'lib/k-from-config "$in" "$out"'
+                         , command = 'lib/k-from-config "$in" "$out" || (cat "$in" ; false)'
                          , ext = 'kore'
                          )
 def kore_exec(kore, ext = 'kore-exec'):