git.annexia.org
/
virt-ctrl.git
/ blobdiff
commit
grep
author
committer
pickaxe
?
search:
re
summary
|
shortlog
|
log
|
commit
|
commitdiff
|
tree
raw
|
inline
| side by side
Fixed the warning message in rebuild-icons script.
[virt-ctrl.git]
/
virt-ctrl
/
rebuild-icons.sh
diff --git
a/virt-ctrl/rebuild-icons.sh
b/virt-ctrl/rebuild-icons.sh
index
399e182
..
cef020d
100755
(executable)
--- a/
virt-ctrl/rebuild-icons.sh
+++ b/
virt-ctrl/rebuild-icons.sh
@@
-17,13
+17,12
@@
# Generate vc_icons.ml
# Generate vc_icons.ml
-
echo
<<'EOF'
+
cat
<<'EOF'
(* The file vc_icons.ml is automatically generated from rebuild-icons.sh
* Any changes you make will be lost.
*)
EOF
(* The file vc_icons.ml is automatically generated from rebuild-icons.sh
* Any changes you make will be lost.
*)
EOF
-echo
# Open any modules which may use icons.
echo "open Vc_connection_dlg"
# Open any modules which may use icons.
echo "open Vc_connection_dlg"