2021-02-08 06:23:31 +00:00
|
|
|
/*
|
|
|
|
* SPDX-FileCopyrightText: 2016 Jeremiah Orians
|
|
|
|
* SPDX-FileCopyrightText: 2018 Jan (janneke) Nieuwenhuizen <janneke@gnu.org>
|
2020-12-25 07:40:14 +00:00
|
|
|
*
|
2021-02-08 06:23:31 +00:00
|
|
|
* SPDX-License-Identifier: GPL-3.0-or-later
|
2020-12-25 07:40:14 +00:00
|
|
|
*/
|
|
|
|
|
|
|
|
#include<stdio.h>
|
|
|
|
#include<stdlib.h>
|
|
|
|
|
|
|
|
void file_print(char* s, FILE* f);
|
|
|
|
|
|
|
|
void require(int bool, char* error)
|
|
|
|
{
|
|
|
|
if(!bool)
|
|
|
|
{
|
|
|
|
file_print(error, stderr);
|
|
|
|
exit(EXIT_FAILURE);
|
|
|
|
}
|
|
|
|
}
|