|
@@ -83,7 +83,20 @@ if [[ $command_options == "menuconfig" ]]; then
|
83
|
83
|
rm $COMPLETION_FILE
|
84
|
84
|
fi
|
85
|
85
|
fi
|
|
86
|
+
|
|
87
|
+ # clear the interactive file which indicates configuration success
|
|
88
|
+ interactive_file=$HOME/.${PROJECT_NAME}-interactive
|
|
89
|
+ if [ -f $interactive_file ]; then
|
|
90
|
+ rm $interactive_file
|
|
91
|
+ fi
|
|
92
|
+
|
86
|
93
|
interactive_configuration
|
|
94
|
+
|
|
95
|
+ # check that the interactive file was created
|
|
96
|
+ if [ ! -f $interactive_file ]; then
|
|
97
|
+ exit 6393562
|
|
98
|
+ fi
|
|
99
|
+ rm $interactive_file
|
87
|
100
|
else
|
88
|
101
|
while [[ $# > 1 ]]
|
89
|
102
|
do
|