From 716d608ad88ac8e62914aa20d73a65b6abd205d9 Mon Sep 17 00:00:00 2001
From: Erwan Jahier <erwan.jahier@univ-grenoble-alpes.fr>
Date: Mon, 27 Jan 2020 22:45:01 +0100
Subject: [PATCH] docker: fix the test on the docker distribution

---
 test/Makefile.inc | 5 +++--
 1 file changed, 3 insertions(+), 2 deletions(-)

diff --git a/test/Makefile.inc b/test/Makefile.inc
index 0550e3a4..a72fa588 100644
--- a/test/Makefile.inc
+++ b/test/Makefile.inc
@@ -1,12 +1,13 @@
-# Time-stamp: <modified the 23/10/2019 (at 15:32) by Erwan Jahier>
+# Time-stamp: <modified the 27/01/2020 (at 22:40) by Erwan Jahier>
 
 DIR=../../_build/install/default
 
 sasa=$(DIR)/bin/sasa  -l 100
+sasa=sasa
 
 LIB=-package algo
 
-.PRECIOUS: .ml
+.PRECIOUS: %.ml
 %.ml: %.dot 
 	sasa -reg $<
 
-- 
GitLab