1 /* 2 * Copyright (C) 2017 - This file is part of libecc project 3 * 4 * Authors: 5 * Ryad BENADJILA <ryadbenadjila@gmail.com> 6 * Arnaud EBALARD <arnaud.ebalard@ssi.gouv.fr> 7 * Jean-Pierre FLORI <jean-pierre.flori@ssi.gouv.fr> 8 * 9 * Contributors: 10 * Nicolas VIVET <nicolas.vivet@ssi.gouv.fr> 11 * Karim KHALFALLAH <karim.khalfallah@ssi.gouv.fr> 12 * 13 * This software is licensed under a dual BSD and GPL v2 license. 14 * See LICENSE file at the root folder of the project. 15 */ 16 #include <libecc/external_deps/print.h> 17 18 #ifdef WITH_STDLIB 19 #include <stdio.h> 20 #include <stdarg.h> ext_printf(const char * format,...)21void ext_printf(const char *format, ...) 22 { 23 va_list arglist; 24 25 va_start(arglist, format); 26 vprintf(format, arglist); 27 va_end(arglist); 28 } 29 #else 30 #error "print.c: you have to implement ext_printf" 31 #endif 32