coverity:
$(shell git branch | grep "*" | cut -d" " -f2 > .branch)
[ -z "$(git ls-remote --heads $(git remote get-url origin) coverity_scan)" ] || git push origin :coverity_scan
- git show-ref --verify --quiet refs/heads/master && git branch -D coverity_scan
+ git show-ref --verify --quiet refs/heads/master && git branch -D coverity_scan || echo ""
git checkout -b coverity_scan
git push --set-upstream origin coverity_scan
git checkout $(cat .branch)
do
if [ -d "$a" ]
then [[ "$a" == */"assets" ]] ||
- echo "$2- '$(basename "$a" | sed 's/[0-9][0-9]_//' | sed 's/_/ /g' | sed 's/-/ /g')':"; list_dir "$a" "$2"
- else echo "$a" | grep "\.md$" >/dev/null && echo "$2- '$(title "$a")': ${a:5}"
+ echo "$2- '$(basename "$a" | sed 's/[0-9][0-9]_//' | sed 's/_/ /g' | sed 's/-/ /g')':";
+ list_dir "$a" "$2"' '
+ else
+ TITLE=$(title "$a")
+ if [ ! -z "$TITLE" ]
+ then
+echo "$a" | grep "\.md$" >/dev/null && echo "$2- '$(title "$a")': ${a:5}"
+ fi
fi
done
}
echo "site_name: Gwion"
-echo "theme: windmill"
+#echo "theme: windmill"
+echo "theme: readthedocs"
echo "repo_url: https://github.com/fennecdjay/Gwion"
echo "site_description: a strongly timed musical programming language"
echo "site_author: Jérémie Astor"
const Env env = gwi->gwion->env;
m_uint array_depth;
Array_Sub array = NULL;
- CHECK_OO(const ID_List, id_list, = str2list(env, type, &array_depth, gwi->loc))
+ DECL_OO(const ID_List, id_list, = str2list(env, type, &array_depth, gwi->loc))
if(array_depth) {
array = new_array_sub(env->gwion->mp, NULL);
array->depth = array_depth;