diff options
author | Joachim StroĢmbergson <joachim@assured.se> | 2019-02-08 10:28:36 +0100 |
---|---|---|
committer | Joachim StroĢmbergson <joachim@assured.se> | 2019-02-08 10:28:36 +0100 |
commit | a86d49407d86cde1e782b7e54fc6848f450cba23 (patch) | |
tree | 76286c80ed1b760604a342212b634360561776c2 | |
parent | cd208344e917e7aa552900658c29c2ae20739269 (diff) |
spaces/tabs. Grrr.
-rwxr-xr-x | toolruns/Makefile | 5 |
1 files changed, 3 insertions, 2 deletions
diff --git a/toolruns/Makefile b/toolruns/Makefile index 4771548..21136cf 100755 --- a/toolruns/Makefile +++ b/toolruns/Makefile @@ -60,6 +60,7 @@ LINT_FLAGS = +1364-2001ext+ --lint-only -Wall -Wno-fatal -Wno-DECLFILENAME all: top.sim core.sim keymem.sim encipher.sim decipher.sim + top.sim: $(TB_TOP_SRC) $(TOP_SRC) $(CC) $(CC_FLAGS) -o top.sim $(TB_TOP_SRC) $(TOP_SRC) @@ -100,8 +101,8 @@ sim-top: top.sim ./top.sim -lint: $(TOP_SRC) - $(LINT) $(LINT_FLAGS) $(TOP_SRC) +lint: $(TOP_SRC) + $(LINT) $(LINT_FLAGS) $(TOP_SRC) clean: |