Changeset 6d5790d for libcfa/prelude

Timestamp:

Aug 7, 2023, 10:11:11 AM (17 months ago)

Author:

Peter A. Buhr <pabuhr@…>

Branches:

master

Children:

3c82bf6

Parents:

76acb60

Message:

formatting

File:

• libcfa/prelude/bootloader.cf (modified) (2 diffs)

libcfa/prelude/bootloader.cf

@@ -1 @@
-extern "C" { static inline int invoke_main(int argc, char* argv[], char* envp[]); }
+extern "C" { static inline int invoke_main( int argc, char * argv[], char * envp[]); }
 int cfa_args_argc;
 char ** cfa_args_argv;
@@ -5 +5 @@
 __attribute__((weak)) extern int cfa_main_returned;
 
-int main(int argc, char* argv[], char* envp[]) {
+int main( int argc, char * argv[], char * envp[] ) {
         cfa_args_argc = argc;
         cfa_args_argv = argv;
         cfa_args_envp = envp;
         int ret = invoke_main(argc, argv, envp);
-        if(&cfa_main_returned) cfa_main_returned = 1;
+        if( &cfa_main_returned ) cfa_main_returned = 1;
         return ret;
 }