armv7m: update the jasmin compiler

formosa-crypto · Oct 22, 2023 · 94608b8 · 94608b8
1 parent 079f309
commit 94608b8
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 2 deletions.
diff --git a/scripts/ci/config/jasmin b/scripts/ci/config/jasmin
@@ -1 +1 @@
-a250fba01a81dabdf5f8b9547afc97e8309fb451
+2c25aa576a0852bcf6ebe2d6a58adbe65bb497bb
diff --git a/src/Makefile b/src/Makefile
@@ -9,7 +9,7 @@
 # libjade/src$ make CI=1 distclean && make -j12 libjade-amd64.a libjade-amd64.h
 #
 # - build libjade-armv7m.a libjade-armv7m.h
-# libjade/src$ make CI=1 distclean && make -j12 ARCH=armv7m CC=arm-linux-gnueabi-gcc CFLAGS='-Wall -O3' AS=arm-linux-gnueabi-as AR=arm-linux-gnueabi-ar RANLIB=arm-linux-gnueabi-ranlib libjade-armv7m.a libjade-armv7m.h
+# libjade/src$ make CI=1 distclean && make -j12 CI=1 ARCH=armv7m CC=arm-linux-gnueabi-gcc CFLAGS='-Wall -O3' AS=arm-linux-gnueabi-as AR=arm-linux-gnueabi-ar RANLIB=arm-linux-gnueabi-ranlib libjade-armv7m.a libjade-armv7m.h && make CI=1 reporter
 #
 # In particular for the last command, it is helpful to setup some sort of
 # facilitator that sets the variables according to the system's configuration || *
Original file line number	Diff line number	Diff line change
		@@ -1 +1 @@
		a250fba01a81dabdf5f8b9547afc97e8309fb451
		2c25aa576a0852bcf6ebe2d6a58adbe65bb497bb