clightgen preprocessor command

samuelgruetter · samuelgruetter · commit 2c3d9ea39917 · 2016-10-20T14:48:25.000-04:00
diff --git a/aes/invoke_clightgen_preprocessor.sh b/aes/invoke_clightgen_preprocessor.sh
@@ -0,0 +1,3 @@
+#!/bin/bash
+../../compcert/clightgen -E -I./mbedtls/include/ ./mbedtls/library/aes.c > ./aes.preprocessed.c
+

Original file line number	Diff line number	Diff line change
`@@ -0,0 +1,3 @@`
	`1`	`+#!/bin/bash`
	`2`	`+../../compcert/clightgen -E -I./mbedtls/include/ ./mbedtls/library/aes.c > ./aes.preprocessed.c`
	`3`	`+`