Leonardo Sandoval | 9dfdd1b | 2020-08-06 17:08:11 -0500 | [diff] [blame] | 1 | #!/usr/bin/env bash |
Fathi Boudra | 422bf77 | 2019-12-02 11:10:16 +0200 | [diff] [blame] | 2 | # |
Zelalem | 219df41 | 2020-05-17 19:21:20 -0500 | [diff] [blame] | 3 | # Copyright (c) 2019-2020, Arm Limited. All rights reserved. |
Fathi Boudra | 422bf77 | 2019-12-02 11:10:16 +0200 | [diff] [blame] | 4 | # |
| 5 | # SPDX-License-Identifier: BSD-3-Clause |
| 6 | # |
| 7 | |
| 8 | set -e |
| 9 | |
| 10 | # Enable job control to have background processes run in their own process |
| 11 | # group. That way, we can kill a background process group in one go. |
| 12 | set -m |
| 13 | |
| 14 | ci_root="$(readlink -f "$(dirname "$0")/..")" |
| 15 | source "$ci_root/utils.sh" |
| 16 | |
| 17 | artefacts="${artefacts-$workspace/artefacts}" |
| 18 | |
| 19 | run_root="$workspace/run" |
| 20 | pid_dir="$workspace/pids" |
| 21 | |
Manish V Badarkhe | 359b3ff | 2020-12-25 18:54:03 +0000 | [diff] [blame] | 22 | # This variable avoids graceful termination of the model when |
| 23 | # launched with the parameter 'bp.pl011_uart0.shutdown_on_eot=1' |
| 24 | exit_on_model_param=0 |
| 25 | |
| 26 | # Model exit parameter string |
| 27 | model_exit_param_string="bp.pl011_uart0.shutdown_on_eot=1" |
| 28 | |
Fathi Boudra | 422bf77 | 2019-12-02 11:10:16 +0200 | [diff] [blame] | 29 | mkdir -p "$pid_dir" |
| 30 | mkdir -p "$run_root" |
| 31 | |
| 32 | kill_and_reap() { |
| 33 | local gid |
Fathi Boudra | 422bf77 | 2019-12-02 11:10:16 +0200 | [diff] [blame] | 34 | # Kill an active process. Ignore errors |
| 35 | [ "$1" ] || return 0 |
| 36 | kill -0 "$1" &>/dev/null || return 0 |
| 37 | |
Zelalem | 219df41 | 2020-05-17 19:21:20 -0500 | [diff] [blame] | 38 | # Kill the children |
| 39 | kill -- "-$1" &>/dev/null || true |
Fathi Boudra | 422bf77 | 2019-12-02 11:10:16 +0200 | [diff] [blame] | 40 | # Kill the group |
Zelalem | 219df41 | 2020-05-17 19:21:20 -0500 | [diff] [blame] | 41 | { gid="$(awk '{print $5}' < /proc/$1/stat)";} 2>/dev/null || return |
| 42 | # For Code Coverage plugin it is needed to propagate |
| 43 | # the kill signal to the plugin in order to save |
| 44 | # the trace statistics. |
| 45 | if [ "${COVERAGE_ON}" == "1" ] || [ -n "$cc_enable" ]; then |
| 46 | kill -SIGTERM -- "-$gid" &>/dev/null || true |
| 47 | else |
| 48 | kill -SIGKILL -- "-$gid" &>/dev/null || true |
| 49 | fi |
Fathi Boudra | 422bf77 | 2019-12-02 11:10:16 +0200 | [diff] [blame] | 50 | wait "$gid" &>/dev/null || true |
| 51 | } |
| 52 | |
| 53 | # Perform clean up and ignore errors |
| 54 | cleanup() { |
| 55 | local pid |
Manish V Badarkhe | 359b3ff | 2020-12-25 18:54:03 +0000 | [diff] [blame] | 56 | local sig |
Fathi Boudra | 422bf77 | 2019-12-02 11:10:16 +0200 | [diff] [blame] | 57 | |
Fathi Boudra | 422bf77 | 2019-12-02 11:10:16 +0200 | [diff] [blame] | 58 | pushd "$pid_dir" |
| 59 | set +e |
Manish V Badarkhe | 359b3ff | 2020-12-25 18:54:03 +0000 | [diff] [blame] | 60 | |
| 61 | sig=${1:-SIGINT} |
| 62 | echo "signal received: $sig" |
| 63 | |
| 64 | # Avoid the model termination gracefully when the parameter 'exit_on_model_param' |
| 65 | # is set and test if exited successfully. |
| 66 | if [ "$exit_on_model_param" -eq 0 ] || [ "$sig" != "EXIT" ]; then |
| 67 | # Kill all background processes so far and wait for them |
| 68 | while read pid; do |
| 69 | pid="$(cat $pid)" |
| 70 | echo $pid |
| 71 | # Forcefully killing model process does not show statistical |
| 72 | # data (Host CPU time spent running in User and System). Safely |
| 73 | # kill the model by using SIGINT(^C) that helps in printing |
| 74 | # statistical data. |
| 75 | if [ "$pid" == "$model_pid" ] && [ "${COVERAGE_ON}" != "1" ]; then |
| 76 | model_cid=$(pgrep -P "$model_pid" | xargs) |
| 77 | # ignore errors |
| 78 | kill -SIGINT "$model_cid" &>/dev/null || true |
| 79 | # Allow some time to print data |
| 80 | sleep 2 |
| 81 | else |
| 82 | kill_and_reap "$pid" |
| 83 | fi |
| 84 | done < <(find -name '*.pid') |
| 85 | fi |
| 86 | |
Fathi Boudra | 422bf77 | 2019-12-02 11:10:16 +0200 | [diff] [blame] | 87 | popd |
| 88 | } |
| 89 | |
| 90 | # Launch a program. Have its PID saved in a file with given name with .pid |
| 91 | # suffix. When the program exits, create a file with .success suffix, or one |
| 92 | # with .fail if it fails. This function blocks, so the caller must '&' this if |
| 93 | # they want to continue. Call must wait for $pid_dir/$name.pid to be created |
| 94 | # should it want to read it. |
| 95 | launch() { |
| 96 | local pid |
| 97 | |
| 98 | "$@" & |
| 99 | pid="$!" |
| 100 | echo "$pid" > "$pid_dir/${name:?}.pid" |
| 101 | if wait "$pid"; then |
| 102 | touch "$pid_dir/$name.success" |
| 103 | else |
| 104 | touch "$pid_dir/$name.fail" |
| 105 | fi |
| 106 | } |
| 107 | |
Manish V Badarkhe | 359b3ff | 2020-12-25 18:54:03 +0000 | [diff] [blame] | 108 | # Provide signal as an argument to the trap function. |
| 109 | trap_with_sig() { |
| 110 | local func |
| 111 | |
| 112 | func="$1" ; shift |
| 113 | for sig ; do |
| 114 | trap "$func $sig" "$sig" |
| 115 | done |
| 116 | } |
| 117 | |
Fathi Boudra | 422bf77 | 2019-12-02 11:10:16 +0200 | [diff] [blame] | 118 | # Cleanup actions |
Manish V Badarkhe | 359b3ff | 2020-12-25 18:54:03 +0000 | [diff] [blame] | 119 | trap_with_sig cleanup SIGINT SIGHUP SIGTERM EXIT |
Fathi Boudra | 422bf77 | 2019-12-02 11:10:16 +0200 | [diff] [blame] | 120 | |
| 121 | # Prevent xterm windows from untracked terminals from popping up, especially |
| 122 | # when running locally |
| 123 | not_upon "$test_run" && export DISPLAY= |
| 124 | |
| 125 | # Source variables required for run |
| 126 | source "$artefacts/env" |
| 127 | |
| 128 | echo |
| 129 | echo "RUNNING: $TEST_CONFIG" |
| 130 | echo |
| 131 | |
| 132 | # Accept BIN_MODE from environment, or default to release. If bin_mode is set |
| 133 | # and non-empty (intended to be set from command line), that takes precedence. |
| 134 | pkg_bin_mode="${BIN_MODE:-release}" |
| 135 | bin_mode="${bin_mode:-$pkg_bin_mode}" |
| 136 | |
| 137 | # Assume 0 is the primary UART to track |
| 138 | primary_uart=0 |
| 139 | |
| 140 | # Assume 4 UARTs by default |
| 141 | num_uarts="${num_uarts:-4}" |
| 142 | |
| 143 | # Whether to display primary UART progress live on the console |
| 144 | primary_live="${primary_live-$PRIMARY_LIVE}" |
| 145 | |
| 146 | # Change directory so that all binaries can be accessed realtive to where they |
| 147 | # lie |
| 148 | run_cwd="$artefacts/$bin_mode" |
| 149 | cd "$run_cwd" |
| 150 | |
| 151 | # Source environment for run |
| 152 | if [ -f "run/env" ]; then |
| 153 | source "run/env" |
| 154 | fi |
| 155 | |
Zelalem | 1af7a7b | 2020-08-04 17:34:32 -0500 | [diff] [blame] | 156 | # Source model environment for run |
| 157 | if [ -f "run/model_env" ]; then |
| 158 | source "run/model_env" |
| 159 | fi |
Fathi Boudra | 422bf77 | 2019-12-02 11:10:16 +0200 | [diff] [blame] | 160 | # Fail if there was no model path set |
| 161 | if [ -z "$model_path" ]; then |
| 162 | die "No model path set by package!" |
| 163 | fi |
| 164 | |
Madhukar Pappireddy | 1e95372 | 2021-11-08 15:23:02 -0600 | [diff] [blame^] | 165 | # Assume primary UART is used by test payload as well |
| 166 | payload_uart="${payload_uart:-$primary_uart}" |
| 167 | |
Fathi Boudra | 422bf77 | 2019-12-02 11:10:16 +0200 | [diff] [blame] | 168 | # Launch model with parameters |
| 169 | model_out="$run_root/model_log.txt" |
| 170 | run_sh="$run_root/run.sh" |
| 171 | |
Zelalem | 219df41 | 2020-05-17 19:21:20 -0500 | [diff] [blame] | 172 | |
Fathi Boudra | 422bf77 | 2019-12-02 11:10:16 +0200 | [diff] [blame] | 173 | # Generate run.sh |
| 174 | echo "$model_path \\" > "$run_sh" |
| 175 | sed '/^\s*$/d' < model_params | sort | sed 's/^/\t/;s/$/ \\/' >> "$run_sh" |
Zelalem | 219df41 | 2020-05-17 19:21:20 -0500 | [diff] [blame] | 176 | |
| 177 | if [ "${COVERAGE_ON}" == "1" ]; then |
| 178 | # Adding code coverage plugin |
| 179 | echo -e "\t-C TRACE.CoverageTrace.trace-file-prefix=$trace_file_prefix \\" >> "$run_sh" |
| 180 | echo -e "\t--plugin $coverage_trace_plugin \\" >> "$run_sh" |
| 181 | fi |
Fathi Boudra | 422bf77 | 2019-12-02 11:10:16 +0200 | [diff] [blame] | 182 | echo -e "\t\"\$@\"" >> "$run_sh" |
| 183 | |
Zelalem | 219df41 | 2020-05-17 19:21:20 -0500 | [diff] [blame] | 184 | # Running Reboot/Shutdown tests requires storing the state in non-volatile |
| 185 | # memory(NVM) across reboot. On FVP, NVM is not persistent across reboot, hence |
| 186 | # NVM was saved to a file($NVM_file) when running the model using the run.sh |
| 187 | # shell script. |
| 188 | # If TFTF Reboot/Shutdown tests are enabled, run the fvp model 10 times by |
| 189 | # feeding the file containing NVM state generated from the previous run. Note |
| 190 | # that this file also includes FIP image. |
| 191 | |
| 192 | if upon "$run_tftf_reboot_tests" = "1"; then |
| 193 | tftf_reboot_tests="$run_root/tftf_reboot_tests.sh" |
| 194 | |
| 195 | # Generate tftf_reboot_tests command. It is similar to run_sh. |
| 196 | # The model would run the reboot and shutdown tests 10 times |
| 197 | # The uart log file generated by FVP model gets overwritten |
| 198 | # across reboots. Copy its contents at the end of the test |
| 199 | echo "cat $uart0_file >> UART0.log" >>"$tftf_reboot_tests" |
| 200 | echo "cat $uart1_file >> UART1.log" >>"$tftf_reboot_tests" |
| 201 | cat <<EOF >>"$tftf_reboot_tests" |
| 202 | |
| 203 | for i in {1..10} |
| 204 | do |
| 205 | EOF |
| 206 | cat "$run_sh" >> "$tftf_reboot_tests" |
| 207 | echo "cat $uart0_file >> UART0.log" >>"$tftf_reboot_tests" |
| 208 | echo "cat $uart1_file >> UART1.log" >>"$tftf_reboot_tests" |
| 209 | cat <<EOF >>"$tftf_reboot_tests" |
| 210 | done |
| 211 | EOF |
| 212 | #Replace fip.bin with file $NVM_file |
| 213 | sed -i 's/fip.bin/'"$NVM_file"'/' "$tftf_reboot_tests" |
| 214 | |
| 215 | echo "TFTF Reboot/Shutdown Tests Enabled" |
| 216 | cat "$tftf_reboot_tests" >> "$run_sh" |
| 217 | rm "$tftf_reboot_tests" |
| 218 | fi |
| 219 | |
Fathi Boudra | 422bf77 | 2019-12-02 11:10:16 +0200 | [diff] [blame] | 220 | echo "Model command line:" |
| 221 | echo |
| 222 | cat "$run_sh" |
| 223 | chmod +x "$run_sh" |
| 224 | echo |
| 225 | |
| 226 | # If it's a test run, skip all the hoops and launch model directly. |
| 227 | if upon "$test_run"; then |
| 228 | "$run_sh" "$@" |
| 229 | exit 0 |
| 230 | fi |
| 231 | |
| 232 | # For an automated run, export a known variable so that we can identify stale |
| 233 | # processes spawned by Trusted Firmware CI by inspecting its environment. |
| 234 | export TRUSTED_FIRMWARE_CI="1" |
| 235 | |
| 236 | # Change directory to workspace, as all artifacts paths are relative to |
| 237 | # that, and launch the model. Have model use no buffering on stdout |
| 238 | : >"$model_out" |
| 239 | name="model" launch stdbuf -o0 -e0 "$run_sh" &>"$model_out" & |
| 240 | wait_count=0 |
| 241 | while :; do |
| 242 | if [ -f "$pid_dir/model.pid" ]; then |
| 243 | break |
| 244 | fi |
| 245 | sleep 0.1 |
| 246 | |
| 247 | let "wait_count += 1" |
| 248 | if [ "$wait_count" -gt 100 ]; then |
| 249 | die "Failed to launch model!" |
| 250 | fi |
| 251 | done |
Fathi Boudra | 422bf77 | 2019-12-02 11:10:16 +0200 | [diff] [blame] | 252 | |
Zelalem | 219df41 | 2020-05-17 19:21:20 -0500 | [diff] [blame] | 253 | model_pid="$(cat $pid_dir/model.pid)" |
Fathi Boudra | 422bf77 | 2019-12-02 11:10:16 +0200 | [diff] [blame] | 254 | ports_output="$(mktempfile)" |
| 255 | if not_upon "$ports_script"; then |
| 256 | # Default AWK script to parse model ports |
| 257 | ports_script="$(mktempfile)" |
| 258 | cat <<'EOF' >"$ports_script" |
| 259 | /terminal_0/ { ports[0] = $NF } |
| 260 | /terminal_1/ { ports[1] = $NF } |
| 261 | /terminal_2/ { ports[2] = $NF } |
| 262 | /terminal_3/ { ports[3] = $NF } |
| 263 | END { |
| 264 | for (i = 0; i < num_uarts; i++) { |
| 265 | if (ports[i] != "") |
| 266 | print "ports[" i "]=" ports[i] |
| 267 | } |
| 268 | } |
| 269 | EOF |
| 270 | fi |
| 271 | |
| 272 | # Start a watchdog to kill ourselves if we wait too long for the model |
| 273 | # response. Note that this is not the timeout for the whole test, but only for |
| 274 | # the Model to output port numbers. |
| 275 | ( |
| 276 | if upon "$jenkins_run"; then |
| 277 | # Increase this timeout for a cluster run, as it could take longer if |
| 278 | # the load on the Jenkins server is high. |
| 279 | model_wait_timeout=120 |
| 280 | else |
| 281 | model_wait_timeout=30 |
| 282 | fi |
| 283 | sleep $model_wait_timeout |
| 284 | echo "Model wait timeout!" |
| 285 | kill "$$" |
| 286 | ) & |
| 287 | watchdog="$!" |
| 288 | |
| 289 | # Parse UARTs ports from early model output. Send a SIGSTOP to the model |
| 290 | # as soon as it outputs all UART ports. This is to prevent the model |
| 291 | # executing before the expect scripts get a chance to connect to the |
| 292 | # UART thereby losing messages. |
| 293 | model_fail=1 |
| 294 | while :; do |
| 295 | awk -v "num_uarts=$num_uarts" -f "$ports_script" "$model_out" \ |
| 296 | > "$ports_output" |
| 297 | if [ $(wc -l < "$ports_output") -eq "$num_uarts" ]; then |
| 298 | kill -SIGSTOP "$model_pid" |
| 299 | model_fail=0 |
| 300 | break |
| 301 | fi |
| 302 | |
| 303 | # Bail out if model exited meanwhile |
| 304 | if ! kill -0 "$model_pid" &>/dev/null; then |
| 305 | echo "Model terminated unexpectedly!" |
| 306 | break |
| 307 | fi |
| 308 | done |
| 309 | |
| 310 | # Kill the watch dog |
| 311 | kill_and_reap "$watchdog" || true |
| 312 | |
| 313 | # Check the model had failed meanwhile, for some reason |
| 314 | if [ "$model_fail" -ne 0 ]; then |
| 315 | exit 1 |
| 316 | fi |
| 317 | |
Zelalem | 219df41 | 2020-05-17 19:21:20 -0500 | [diff] [blame] | 318 | if ! [ -x "$(command -v expect)" ]; then |
| 319 | echo "Error: Expect is not installed." |
| 320 | exit 1 |
| 321 | fi |
| 322 | |
Fathi Boudra | 422bf77 | 2019-12-02 11:10:16 +0200 | [diff] [blame] | 323 | # The wait loop above exited after model port numbers have been parsed. The |
| 324 | # script's output is ready to be sourced now. |
| 325 | declare -a ports |
| 326 | source "$ports_output" |
| 327 | rm -f "$ports_output" |
| 328 | if [ "${#ports[@]}" -ne "$num_uarts" ]; then |
| 329 | echo "Failed to get UART port numbers" |
| 330 | kill_and_reap "$model_pid" |
| 331 | unset model_pid |
| 332 | fi |
| 333 | |
| 334 | # Launch expect scripts for all UARTs |
| 335 | uarts=0 |
Zelalem | 219df41 | 2020-05-17 19:21:20 -0500 | [diff] [blame] | 336 | for u in $(seq 0 $(( $num_uarts - 1 )) | tac); do |
Fathi Boudra | 422bf77 | 2019-12-02 11:10:16 +0200 | [diff] [blame] | 337 | script="run/uart$u/expect" |
| 338 | if [ -f "$script" ]; then |
| 339 | script="$(cat "$script")" |
| 340 | else |
| 341 | script= |
| 342 | fi |
| 343 | |
| 344 | # Primary UART must have a script |
| 345 | if [ -z "$script" ]; then |
| 346 | if [ "$u" = "$primary_uart" ]; then |
| 347 | die "No primary UART script!" |
| 348 | else |
Zelalem | 219df41 | 2020-05-17 19:21:20 -0500 | [diff] [blame] | 349 | echo "Ignoring UART$u (no expect script provided)." |
Fathi Boudra | 422bf77 | 2019-12-02 11:10:16 +0200 | [diff] [blame] | 350 | continue |
| 351 | fi |
| 352 | fi |
| 353 | |
| 354 | timeout="run/uart$u/timeout" |
| 355 | if [ -f "$timeout" ]; then |
| 356 | timeout="$(cat "$timeout")" |
| 357 | else |
| 358 | timeout= |
| 359 | fi |
Saul Romero | d54b6eb | 2020-10-20 09:03:08 +0100 | [diff] [blame] | 360 | timeout="${timeout-1200}" |
Fathi Boudra | 422bf77 | 2019-12-02 11:10:16 +0200 | [diff] [blame] | 361 | |
| 362 | full_log="$run_root/uart${u}_full.txt" |
| 363 | |
| 364 | if [ "$u" = "$primary_uart" ]; then |
| 365 | star="*" |
Fathi Boudra | 422bf77 | 2019-12-02 11:10:16 +0200 | [diff] [blame] | 366 | else |
| 367 | star=" " |
Fathi Boudra | 422bf77 | 2019-12-02 11:10:16 +0200 | [diff] [blame] | 368 | fi |
| 369 | |
Madhukar Pappireddy | 1e95372 | 2021-11-08 15:23:02 -0600 | [diff] [blame^] | 370 | uart_name="uart$u" |
| 371 | |
Fathi Boudra | 422bf77 | 2019-12-02 11:10:16 +0200 | [diff] [blame] | 372 | # Launch expect after exporting required variables |
| 373 | ( |
| 374 | if [ -f "run/uart$u/env" ]; then |
| 375 | set -a |
| 376 | source "run/uart$u/env" |
| 377 | set +a |
| 378 | fi |
| 379 | |
| 380 | if [ "$u" = "$primary_uart" ] && upon "$primary_live"; then |
| 381 | uart_port="${ports[$u]}" timeout="$timeout" \ |
| 382 | name="$uart_name" launch expect -f "$ci_root/expect/$script" | \ |
| 383 | tee "$full_log" |
| 384 | echo |
| 385 | else |
| 386 | uart_port="${ports[$u]}" timeout="$timeout" \ |
| 387 | name="$uart_name" launch expect -f "$ci_root/expect/$script" \ |
| 388 | &>"$full_log" |
| 389 | fi |
| 390 | |
| 391 | ) & |
| 392 | |
| 393 | let "uarts += 1" |
| 394 | echo "Tracking UART$u$star with $script; timeout $timeout." |
| 395 | done |
Fathi Boudra | 422bf77 | 2019-12-02 11:10:16 +0200 | [diff] [blame] | 396 | # Wait here long 'enough' for expect scripts to connect to ports; then |
| 397 | # let the model proceed |
| 398 | sleep 2 |
| 399 | kill -SIGCONT "$model_pid" |
| 400 | |
| 401 | # Wait for all children. Note that the wait below is *not* a timed wait. |
| 402 | result=0 |
| 403 | |
| 404 | set +e |
| 405 | pushd "$pid_dir" |
| 406 | while :; do |
| 407 | wait -n |
| 408 | |
| 409 | # Exit failure if we've any failures |
| 410 | if [ "$(wc -l < <(find -name '*.fail'))" -ne 0 ]; then |
| 411 | result=1 |
| 412 | break |
| 413 | fi |
| 414 | |
Madhukar Pappireddy | 1e95372 | 2021-11-08 15:23:02 -0600 | [diff] [blame^] | 415 | # We're done if the payload UART exits success |
| 416 | if [ -f "$pid_dir/uart$payload_uart.success" ]; then |
Fathi Boudra | 422bf77 | 2019-12-02 11:10:16 +0200 | [diff] [blame] | 417 | break |
| 418 | fi |
| 419 | done |
| 420 | popd |
| 421 | |
Manish V Badarkhe | 359b3ff | 2020-12-25 18:54:03 +0000 | [diff] [blame] | 422 | # Capture whether the model is running with the 'exit model parameter' or not. |
| 423 | exit_on_model_param=$(grep -wc "$model_exit_param_string" "$run_cwd/model_params") |
Fathi Boudra | 422bf77 | 2019-12-02 11:10:16 +0200 | [diff] [blame] | 424 | |
| 425 | if [ "$result" -eq 0 ]; then |
| 426 | echo "Test success!" |
| 427 | else |
| 428 | echo "Test failed!" |
| 429 | fi |
| 430 | |
| 431 | if upon "$jenkins_run"; then |
| 432 | echo |
| 433 | echo "Artefacts location: $BUILD_URL." |
| 434 | echo |
| 435 | fi |
| 436 | |
| 437 | if upon "$jenkins_run" && upon "$artefacts_receiver" && [ -d "$workspace/run" ]; then |
Zelalem | 219df41 | 2020-05-17 19:21:20 -0500 | [diff] [blame] | 438 | source "$CI_ROOT/script/send_artefacts.sh" "run" |
Fathi Boudra | 422bf77 | 2019-12-02 11:10:16 +0200 | [diff] [blame] | 439 | fi |
| 440 | |
Fathi Boudra | 422bf77 | 2019-12-02 11:10:16 +0200 | [diff] [blame] | 441 | |
Zelalem | 219df41 | 2020-05-17 19:21:20 -0500 | [diff] [blame] | 442 | exit "$result" |
Fathi Boudra | 422bf77 | 2019-12-02 11:10:16 +0200 | [diff] [blame] | 443 | # vim: set tw=80 sw=8 noet: |