#define PINIR 2
#define PINLED 13

void setup() {
  pinMode(PINIR, INPUT);
  pinMode(PINLED, OUTPUT);
  digitalWrite(PINLED, LOW);
}

void loop() {

  while(digitalRead(PINIR))
  {
    digitalWrite(PINLED, HIGH);
  }
  digitalWrite(PINLED, LOW);
}