We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent d831459 commit b143756Copy full SHA for b143756
build-scripts/compile
@@ -5,15 +5,15 @@
5
. compile-options
6
7
case "$PROJECT" in
8
- community)
9
- NOVA=no
10
- ;;
11
- nova)
12
- NOVA=yes
13
14
- *)
15
- echo "$(basename "$0"): Error: Unknown project: $PROJECT"
16
- exit 42;;
+ community)
+ NOVA=no
+ ;;
+ nova)
+ NOVA=yes
+ *)
+ echo "$(basename "$0"): Error: Unknown project: $PROJECT"
+ exit 42;;
17
esac
18
19
echo "$(basename "$0"): Debug: Running make in core repo..."
0 commit comments