From 93f9aa39b2885f98bf2be89583102d5c7f4c6f22 Mon Sep 17 00:00:00 2001
From: David Monniaux <david.monniaux@univ-grenoble-alpes.fr>
Date: Wed, 16 Sep 2020 09:13:59 +0200
Subject: just missing OpWeights for AARCH64

---
 Makefile.extr | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'Makefile.extr')

diff --git a/Makefile.extr b/Makefile.extr
index 5e328a4c..1a894a16 100644
--- a/Makefile.extr
+++ b/Makefile.extr
@@ -42,7 +42,7 @@ cparser/pre_parser_messages.ml:
 # Directories containing plain Caml code
 
 DIRS=extraction \
-  lib common $(ARCH) backend cfrontend cparser driver \
+  lib common $(ARCH) scheduling backend cfrontend cparser driver \
   exportclight debug kvx/unittest lib/Impure/ocaml \
   kvx/lib
 
-- 
cgit