Home
last modified time | relevance | path

Searched refs:PUSH_CMD (Results 1 – 6 of 6) sorted by relevance

/dports/games/spring/spring_98.0/rts/Lua/
H A DLuaConstCMD.cpp32 PUSH_CMD(STOP); in PushEntries()
33 PUSH_CMD(INSERT); in PushEntries()
34 PUSH_CMD(REMOVE); in PushEntries()
35 PUSH_CMD(WAIT); in PushEntries()
40 PUSH_CMD(MOVE); in PushEntries()
41 PUSH_CMD(PATROL); in PushEntries()
42 PUSH_CMD(FIGHT); in PushEntries()
45 PUSH_CMD(GUARD); in PushEntries()
55 PUSH_CMD(SELFD); in PushEntries()
61 PUSH_CMD(ONOFF); in PushEntries()
[all …]
/dports/sysutils/gitwatch/gitwatch-e62df74/
H A Dgitwatch.sh197 PUSH_CMD="$GIT push $REMOTE" # Branch not set, push to remote without a branch
201 PUSH_CMD="$GIT push $REMOTE $(sed "s_^refs/heads/__" <<< "$HEADREF"):$BRANCH"
203 PUSH_CMD="$GIT push $REMOTE $BRANCH"
207 PUSH_CMD="$GIT push"
209 PUSH_CMD="" # if not remote is selected, make sure push command is empty
291 if [ -n "$PUSH_CMD" ]; then
292 echo "Push command is $PUSH_CMD";
293 eval $PUSH_CMD;
/dports/math/yices/yices-2.6.2/src/frontend/yices/
H A Dyices_tstack_ops.h45 PUSH_CMD, // [push] enumerator
H A Dyices_parser.c352 tstack_push_op(tstack, PUSH_CMD, &loc); in yices_parse()
H A Dyices_reval.c3296 check_op(stack, PUSH_CMD); in check_push_cmd()
3739 tstack_add_op(stack, PUSH_CMD, false, eval_push_cmd, check_push_cmd); in init_yices_tstack()
/dports/math/yices/yices-2.6.2/tests/unit/
H A Dtest_yices_parser.c205 tstack_add_op(stack, PUSH_CMD, false, eval_cmd, check_cmd); in init_yices_tstack()