From e33caadeb919f0e26062e5c334b2627c504afa08 Mon Sep 17 00:00:00 2001 From: Norbert Manthey Date: Tue, 28 Feb 2017 23:17:12 +0100 Subject: [PATCH] Remove aa-symex from DIRS variable in Makefile Without this patch, calling "make clean" fails, because make tries to call "make clean" in the aa-symex directory as well. By removing aa-symex from the DIRS variable, this problem is fixed. Fixes: cleanup aa-path-symex and aa-symex --- src/Makefile | 4 ++-- 1 file changed, 2 insertions(+), 2 deletions(-) diff --git a/src/Makefile b/src/Makefile index 3a452b7fe09..269ddeda140 100644 --- a/src/Makefile +++ b/src/Makefile @@ -1,7 +1,7 @@ DIRS = ansi-c big-int cbmc cpp goto-cc goto-instrument goto-programs \ goto-symex langapi pointer-analysis solvers util linking xmllang \ - assembler analyses java_bytecode aa-path-symex path-symex musketeer \ - json cegis goto-analyzer jsil symex goto-diff aa-symex clobber \ + assembler analyses java_bytecode path-symex musketeer \ + json cegis goto-analyzer jsil symex goto-diff clobber \ memory-models all: cbmc.dir goto-cc.dir goto-instrument.dir symex.dir goto-analyzer.dir goto-diff.dir