diff options
author | Jason Gross <jgross@mit.edu> | 2018-08-24 10:09:30 -0400 |
---|---|---|
committer | Jason Gross <jgross@mit.edu> | 2018-08-24 10:09:30 -0400 |
commit | 07fc5710981118e78d9e23e78e98c13a000e8635 (patch) | |
tree | b5a5df81f95f676597254474766c548e4c3bba1b /Makefile | |
parent | f2ee602badfe272fc55f3d35f62a7abdf72a9ee5 (diff) |
Fix a typo in the previous commit
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
@@ -114,7 +114,7 @@ NO_CURVES_PROOFS_NON_SPECIFIC_UNMADE_VOFILES := $(filter $(NO_CURVES_PROOFS_UNMA REAL_SPECIFIC_GENERATED_VOFILES := $(filter $(SPECIFIC_GENERATED_VOFILES),$(VOFILES)) NEW_PIPELINE_PRE_VOFILES := $(filter $(NEW_PIPELINE_FILTER),$(REGULAR_VOFILES)) PRE_STANDALONE_PRE_VOFILES := $(filter src/Experiments/NewPipeline/Standalone%.vo,$(REGULAR_VOFILES)) -UTIL_PRE_VO_FILES := $(filter bbv/%.vo src/Algebra/%.vo src/Tactics/%.vo src/Util/%.vo,$(REGULAR_VOFILES)) +UTIL_PRE_VOFILES := $(filter bbv/%.vo src/Algebra/%.vo src/Tactics/%.vo src/Util/%.vo,$(REGULAR_VOFILES)) SELECTED_PATTERN := \ src/Specific/X25519/C64/% \ |