#!/bin/bash

./configure CFLAGS='-O0 -g -DDEBUG'