diff options
author | Yann Herklotz <git@yannherklotz.com> | 2022-05-03 08:00:29 +0100 |
---|---|---|
committer | Yann Herklotz <git@yannherklotz.com> | 2022-05-03 08:00:29 +0100 |
commit | 7458e17b2bf5b3c6f342731510f1be589851c3a0 (patch) | |
tree | 96076f7ba48c7a76e5a6320fa13a738a7ac92194 /Makefile | |
parent | 1e411adb9dcb79858ce26a11513ce9114916bc42 (diff) | |
download | lsr22_fvhls-7458e17b2bf5b3c6f342731510f1be589851c3a0.tar.gz lsr22_fvhls-7458e17b2bf5b3c6f342731510f1be589851c3a0.zip |
Add pipelining notes
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 4 |
1 files changed, 3 insertions, 1 deletions
@@ -1,3 +1,5 @@ +MODE ?= main + .PHONY: all clean all: main.pdf @@ -10,5 +12,5 @@ figures/%.pdf: figures/%.tex # silent structure,structures,pages,resolvers,open source,close source,loading,modules %.pdf: %.tex - context --nonstopmode --silent='*' $< + context --mode=$(MODE) --nonstopmode --silent='*' $< cp $(notdir $@) $@ || true |