diff options
| -rwxr-xr-x | share/server/mainjs.sh | 7 |
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 |