rename super-configure into mic-configure

doc/chapters/mic-scc-support.texi

@@ -9,7 +9,7 @@
 SCC support just needs the presence of the RCCE library.
 
 MIC support actually needs two compilations of StarPU, one for the host and one for
-the device. The @code{super-configure} script can be used to achieve this: it basically
+the device. The @code{mic-configure} script can be used to achieve this: it basically
 calls @code{configure} as appropriate from two new directories: @code{build_mic} and
 @code{build_host}. @code{make} and @code{make install} can then be used as usual and will
 recurse into both directories.

super-configure

@@ -8,9 +8,11 @@ DEFAULT_PREFIX=/usr/local
 
 export PATH=${MIC_CC_PATH}${PATH:+:${PATH}}
 
-echo "This file was created by StarPU super-configure 0.0.1." > ./super-config.log
-echo "" >> ./super-config.log
-echo " $ $0 $*" >> ./super-config.log
+cat > ./mic-config.log << EOF
+This file was created by StarPU mic-configure
+
+ $ $0 $*
+EOF
 
 for arch in mic host
 do