File indexing completed on 2025-05-11 08:24:19
0001
0002
0003
0004
0005
0006
0007
0008
0009
0010
0011
0012
0013
0014
0015 #ifdef HAVE_CONFIG_H
0016 #include "config.h"
0017 #endif
0018
0019 #include <stdio.h>
0020 #include <unistd.h>
0021 #include <string.h>
0022
0023 #include <rtems/shell.h>
0024
0025 void rtems_shell_write_file(
0026 const char *name,
0027 const char *content
0028 )
0029 {
0030 FILE * fd;
0031
0032 fd = fopen(name,"w");
0033 if ( !fd ) {
0034 fprintf( stderr, "Unable to write %s\n", name );
0035 }
0036
0037 if (fd) {
0038 fwrite(content,1,strlen(content),fd);
0039 fclose(fd);
0040 }
0041 }
0042
0043