#include <stdio.h>
#include <wiringPi.h>

// LED Pin - wiringPi pin 0 is BCM_GPIO 17
#define LED 0

// LED Pin - wiringPi pin 3 is BCM_GPIO 22
#define BUTTON 3

int main (void) {
  printf ("Raspberry Pi Push-Button Controlled LED\n");
  wiringPiSetup ();
  pinMode (LED, OUTPUT);
  pinMode (BUTTON, INPUT);
  pullUpDnControl (BUTTON, PUD_UP);

  for(;;) {
    if ( digitalRead (BUTTON) == HIGH ) {
      digitalWrite (LED, LOW);
    }
    else {
      digitalWrite (LED, HIGH);
    }
    delay (1);
  }
  return;
}