summaryrefslogtreecommitdiff
path: root/share
diff options
context:
space:
mode:
Diffstat (limited to 'share')
-rwxr-xr-xshare/server/mainjs.sh7
1 files changed, 6 insertions, 1 deletions
diff --git a/share/server/mainjs.sh b/share/server/mainjs.sh
index d8c1798d..63c08fe1 100755
--- a/share/server/mainjs.sh
+++ b/share/server/mainjs.sh
@@ -12,7 +12,12 @@
# License for the specific language governing permissions and limitations under
# the License.
+TARGET="main.js"
+
cd server
+echo "// Generated from *.js by makejs.sh on `date`" > $TARGET
+echo "// DO NOT EDIT BY HAND\n" >> $TARGET
+
cat \
render.js \
state.js \
@@ -20,5 +25,5 @@ cat \
validate.js \
views.js \
loop.js \
- > main.js
+ >> $TARGET
cd .. \ No newline at end of file