#include "mbed.h"
 
LocalFileSystem local("local");
DigitalIn button(p12);
DigitalIn button1(p13);
  
DigitalOut led1(LED1);   // add a bit of debug to see if anything is happening 
DigitalOut led2(LED2);

FILE *fp = fopen("/local/out.txt", "a");
 
int hits=0;   // hit counter
 
void write(){
    led2=1;  // use the append to ADD data to the out.txt file
    fprintf(fp,"test %d \r\n", hits);           // add test + hit count to the out.txt file
    fclose(fp);
    led2=0;
}
 
int main(){
    while(button1.read()==1){   // keep looping round wating for button press
    printf("while loop\r\n");
        if(button.read()==0){
            printf("boutton\r\n");
            led1=1;
            write();
            printf("write\r\n");
            while(button.read()==0){
            }               // wait until button released
            led1=0;
            wait_ms(10);    // small delay for debounce
            hits++;         // increase hit counter       
        }
    fclose(fp);
    }    
}