revng-normalizer.sh

#!/bin/bash

# Create the output file
cp $1 $1.purged.c

# Remove redefinition of struct `__fsid_t`
sed -i -e 's/extern void indirect_handler(...);/extern void indirect_handler(int p, ...);/g;' $1.purged.c

sed -i -e 's/#include <stdint.h>//g' $1.purged.c