-/*
- * This file is te-psos.h for embedded systems running pSOS.
- * Contributed by Martin Anantharaman (martin@mail.imech.uni-duisburg.de)
- */
+/* This file is te-psos.h for embedded systems running pSOS.
+ Contributed by Martin Anantharaman (martin@mail.imech.uni-duisburg.de). */
#define LOCAL_LABELS_DOLLAR 1
#define LOCAL_LABELS_FB 1
/* This makes GAS more versatile and blocks some ELF'isms in
#define LOCAL_LABELS_DOLLAR 1
#define LOCAL_LABELS_FB 1
/* This makes GAS more versatile and blocks some ELF'isms in