Change version of Ada runtime used for compatibility test

Ref. #494
AdaCore · Jun 29, 2021 · 8134577 · 8134577
1 parent 7bbed58
commit 8134577
Showing 1 changed file with 1 addition and 1 deletion.
diff --git a/Makefile b/Makefile
@@ -99,7 +99,7 @@ test_specs:
 
 test_runtime:
 	rm -rf $(build-dir)/ada-runtime
-	git clone --depth=1 https://github.com/Componolit/ada-runtime $(build-dir)/ada-runtime
+	git clone --depth=1 --branch recordflux https://github.com/Componolit/ada-runtime $(build-dir)/ada-runtime
 	$(MAKE) -C build/ada-runtime
 	gprbuild -Ptest --RTS=build/ada-runtime/build/posix/obj -Xaunit=no -Xoptimization=yes