Add list of extra used unstable features

Signed-off-by: Nick Spinale <[email protected]>
seL4 · Jan 8, 2024 · e16c63d · e16c63d
1 parent 8a8abd1
commit e16c63d
Show file tree

Hide file tree

Showing 3 changed files with 12 additions and 2 deletions.
diff --git a/hacking/unstable-feature-monitoring/Makefile b/hacking/unstable-feature-monitoring/Makefile
@@ -13,7 +13,7 @@ clean:
 
 .PHONY: used
 used:
-	./enumerate-unstable-features-used.sh
+	./enumerate-used-unstable-features.sh
 
 .PHONY: wishlist
 wishlist:

diff --git a/...oring/enumerate-unstable-features-used.sh → ...oring/enumerate-used-unstable-features.sh b/...oring/enumerate-unstable-features-used.sh → ...oring/enumerate-used-unstable-features.sh
@@ -10,7 +10,9 @@ set -eu -o pipefail
 here=$(realpath $(dirname $0))
 top_level_dir=$here/../..
 
-find $top_level_dir/crates \
+find \
+        $top_level_dir/crates \
+        $here/extra-used-unstable-features.rs \
         -type f -name '*.rs' \
         -exec grep '^#!\[feature(' '{}' ';' \
     | sort \

diff --git a/hacking/unstable-feature-monitoring/extra-used-unstable-features.rs b/hacking/unstable-feature-monitoring/extra-used-unstable-features.rs
@@ -0,0 +1,8 @@
+//
+// Copyright 2024, Colias Group, LLC
+//
+// SPDX-License-Identifier: BSD-2-Clause
+//
+
+#![feature(riscv_ext_intrinsics)]
+#![feature(stdsimd)]