/* Ayudas comunes de las extensiones de PRUEBA. */
#ifndef PLUG_COMMON_H
#define PLUG_COMMON_H
#include <stdio.h>
#include <stdlib.h>
#include "tahgibu/plugin.h"

static __attribute__((unused)) void mark(const char *what) {          /* deja constancia en un archivo para que la prueba compruebe qué se ejecutó */
    const char *p = getenv("TGB_TEST_MARK");
    if (!p) return;
    FILE *f = fopen(p, "a");
    if (f) { fputs(what, f); fputc('\n', f); fclose(f); }
}
#endif