Ce serveur Gitlab sera éteint le 30 juin 2020, pensez à migrer vos projets vers les serveurs gitlab-research.centralesupelec.fr et gitlab-student.centralesupelec.fr !

run-ert.sh 213 Bytes
Newer Older
Takafumi Arakaki's avatar
Takafumi Arakaki committed
1 2 3 4 5 6 7 8
#!/bin/bash

source "$(dirname $0)"/test-utils.sh
ERT_TEST="$EL_GET_LIB_DIR/test/test.el"

HOME="$TEST_HOME" exec \
    "$EMACS" -Q -batch -L "$EL_GET_LIB_DIR" -l "$ERT_TEST" \
    -f ert-run-tests-batch-and-exit