fp = popen(command, "r");
- if(fp == NULL)
+ if(fp == NULL){
perror("popen failed");
+ xbt_abort();
+ }
while ((read = getline(&line, &n, fp)) != -1 && plt_not_found == 1) {
fp = popen(command, "r");
- if(fp == NULL)
+ if(fp == NULL){
perror("popen failed");
+ xbt_abort();
+ }
while ((read = getline(&line, &n, fp)) != -1 && plt_not_found == 1) {
FILE *fp = popen(command, "r");
- if(fp == NULL)
+ if(fp == NULL){
perror("popen for objdump failed");
+ xbt_abort();
+ }
int debug = 0; /*Detect if the program has been compiled with -g */
char *command = bprintf("ldd %s", xbt_binary_name);
FILE *fp = popen(command, "r");
- if(fp == NULL)
+
+ if(fp == NULL){
perror("popen for ldd failed");
+ xbt_abort();
+ }
char *line;
ssize_t read;