diff options
author | Ladar Levison <ladar@lavabit.com> | 2017-02-07 22:19:04 +0300 |
---|---|---|
committer | Ladar Levison <ladar@lavabit.com> | 2017-02-07 22:19:04 +0300 |
commit | b44f14a01aa5fd50fbada66e2b328d006c3e16bc (patch) | |
tree | c72651bcac5544b4d1d4c3ec6e94b7bd98d89ca3 /Makefile | |
parent | 9b8aae94d4f07f33b4243f9f651b999755b569b6 (diff) |
Replaced prime artifact prototypes w uint to avoid error on CentOS 7.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 1 |
1 files changed, 0 insertions, 1 deletions
@@ -221,7 +221,6 @@ else endif all: config warning $(MAGMA_PROGRAM) $(DIME_PROGRAM) $(SIGNET_PROGRAM) $(GENREC_PROGRAM) $(MAGMA_CHECK_PROGRAM) $(DIME_CHECK_PROGRAM) - $(RUN)dev/scripts/builders/build.lib.sh generate warning: ifeq ($(VERBOSE),no) |