From b5ff62c6b16023f77ff163539c8fa9fa7611e17c Mon Sep 17 00:00:00 2001 From: Alexandre Terrasa Date: Mon, 4 Mar 2013 16:06:13 -0500 Subject: [PATCH] tests: removed generic tree option from Makefile Signed-off-by: Alexandre Terrasa --- tests/Makefile | 3 --- 1 file changed, 3 deletions(-) diff --git a/tests/Makefile b/tests/Makefile index 7cd9f2e..f46a03e 100644 --- a/tests/Makefile +++ b/tests/Makefile @@ -21,9 +21,6 @@ nitg: nitg-s: ./tests.sh --engine nitg-s ${PROGS} -nitg-s-tree: - ./tests.sh --engine nitg-s -o --generic-resolution-tree *.nit - nitg-s-bm: ./tests.sh --engine nitg-s -o --bm-typing ${PROGS} -- 1.7.9.5