From 8541a43c053d659196992f4e990ec317cd199af8 Mon Sep 17 00:00:00 2001
From: Vincent Laporte
Date: Thu, 21 Feb 2019 16:45:12 +0000
Subject: [Kernel] Simpler generation of opcode files

Files kernel/copcodes.ml, kernel/byterun/coq_instruct.h, and
kernel/byterun/coq_jumptbl.h are generated by a simple OCaml program
rather than a pipeline of sed and awk text processing.
---
 default.nix | 1 -
 1 file changed, 1 deletion(-)

(limited to 'default.nix')

diff --git a/default.nix b/default.nix
index b65d736d79..3290f5dee8 100644
--- a/default.nix
+++ b/default.nix
@@ -78,7 +78,6 @@ stdenv.mkDerivation rec {
            !elem (baseNameOf path) [".git" "result" "bin" "_build" "_build_ci"]) ./.;
 
   preConfigure = ''
-    patchShebangs kernel/
     patchShebangs dev/tools/
   '';
 
-- 
cgit v1.2.3