1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
|
From: Stephane Glondu <[email protected]>
Date: Sun, 2 Jan 2022 08:44:15 0100
Subject: Disable vmthreads backend
---
src/Makefile | 2 -
1 file changed, 1 insertion( ), 1 deletion(-)
diff --git a/src/Makefile b/src/Makefile
index a70c43e..3b3ec76 100644
--- a/src/Makefile
b/src/Makefile
@@ -1,6 1,6 @@
include ../Makefile.template
-BACKENDS = threads vmthreads process
BACKENDS = threads process
AUXMOD = libext libextunix
AUXMODBYT = $(AUXMOD:%=%.cmo)
|
