Commit cc81ae45 authored by VIEVILLE Thierry's avatar VIEVILLE Thierry
Browse files

sync from makefile

parent 1e767e95
Pipeline #564882 passed with stage
in 2 seconds
......@@ -185,7 +185,7 @@ npm run sync : syncs the files with the git repository.
<br class="clear">
<footer>
<div style='float: right;font-style: italic;'>2022-07-11 version.</div>
<div style='float: right;font-style: italic;'>2022-07-15 version.</div>
</footer>
<script>prettyPrint();</script>
......
......@@ -66,7 +66,7 @@ ifneq (,$(CLEAN))
endif
sync:
@git pull -q ; git commit -q -a -m 'sync from makefile' ; git status -s ; git push -q
@git pull -q ; git commit -q -a -m 'sync from makefile' ; git status -s ; git push -q 2>&1 | grep -v '^remote:' ; ok=
######################################################################################################
### This section implements C/C++ compilation
......
Supports Markdown
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment