Merge branch 'dev' of github.com:facebook/zstd into dev

2017-08-11 10:17:49 -07:00
parent e94fd71bbd cae4024889
commit 0ab9d55e7a
33 changed files with 2906 additions and 214 deletions
@@ -142,6 +142,11 @@ gcc6build: clean
 	gcc-6 -v
 	CC=gcc-6 $(MAKE) all MOREFLAGS="-Werror"

+.PHONY: gcc7build
+gcc7build: clean
+	gcc-7 -v
+	CC=gcc-7 $(MAKE) all MOREFLAGS="-Werror"
+
 .PHONY: clangbuild
 clangbuild: clean
 	clang -v